This stylesheet can be used to update/improve VR Juggler 2.0 configurations
that use the numeric value of keyboard keys, mouse buttons, and mouse
motions so that they use the symbolic identifier instead. This is something
that VRJConfig should be doing, but writing this was easier for me than
trying to figure out how to fix this one specific aspect of VRJConfig.