In comments to #1, Terrence clarified a few things which would be good to mention in the documentation or in new GitHub issues:

• what the scripts in bin/doc_extract/ do
• the parser-generator branch