GitHub repository: sanak/redmica_ui_extension
Description: This plugin adds useful UI improvements to RedMica.