version v4.9.35 (Feb 5, 2021) * change order in ui options * add menu entry for resetting ui options * bug fixes
