version 0.7.5: Fixed the module's synopsis and clarified what it is an alternative to