Very useful utility for managing files.
Update, install and manage Tex Live Manager from an intuitive UI.
Feature-rich text editing application.
