Final improvements to Parser::extractExamples