Module Help_manager

module Help_manager: sig .. end

Nothing exported. Automatic registration.