For those of us who write build scripts: what's the preferred naming? Currently we rename our files from XXX.txt/XXX.md to just XXX. Should we drop this? Yes, that would be fine. It makes no difference for TL.