dev/public: links for git-mud