bbdevs/private: links for notation-calc