dead/packages: links for mathsimpli