Documentation: improved synopsis for packages