dead/packages: links for notation-calc