Internal modernization

This release includes some internal modernization, removing all deprecated API usage as well as support for a legacy/unused input format. Some error messages are also updated, and the menu bar icon now looks better on retina screens.