Merge "Rename Gantry flag for fullscreen magnifier + mouse bugfix" into main