====== Ideas for the RFC tool ======

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