1.8.0.1 3 July 2019

This is a maintenance release fixing some minor bugs:

• Fix graphical glitch when saving over an archived file
• Fix autoarchiving on time-out
• Made save delete confirmation screen also use splash background