CTAN upload notification: MnSymbol