Version 5.1.4

A bugfix release, which fixes the following issues:

• The appearance of dialogs on devices with xhdpi screens has been fixed (see #30).