They can just make it into a web page, and make all extensions parse that web page instead of a TXT file.

A bit ugly, but works.