Largely correct. There are also some settings in the ~/Library/Preferences/com.stairways.keyboardmaestro.* files. These tend to be things like window positions and preference settings (most of the stuff in the Keyboard Maestro Preferences lives there, excluding Variables and Named Clipboards which are in the Application Support folder.
2 Likes