Ideas for the RFC tool
(Placeholder: a tool for parsing HTML5:
https://github.com/google/gumbo-parser
)