"This document lists a number of registry keys and file types and locations that are used for keyboard management in Windows, and also some Keyman-specific settings." . . . .