root/public: links for terminal-pro-bar