moya/stable: links for mathsimpli