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".