Release of version 1.3 again after a missing option in the menu