This version fixes an important bug with “Save” menu entry... I am really surprised that nobody saw it before.