On Fri, Feb 14, 2020 at 4:58 PM Duy Nguyen <xxxxxx@gmail.com> wrote:
 
Done. It's README.impl (because I wasn't sure if README.org should be
used for this) 

You can use "README.org" if you like because we'll put the implementation in a subdirectory.