As proposed by Mitch. This completes first renaming attempt (commit 08ffc103) with even less ambiguous names. "horizontal-axis-position" and "vertical-axis-position" are now respectively "mirror-position-y" and "mirror-position-x".