Notes concerning “Parsing expression grammars”