One suggestion about the configuration instruction page.
The student reported that he does not see Keyman in Accessibility. It would be great to provide some instructions in this situation, as Keyman is not located in the Application folder.
Here is what I sent to the student:
As for the Accessibility setting, you can do this:
Go to: /Users//Library/Input Methods/Keyman.app
Replace with your user name.
If you don’t know how to, when you are in Finder, click the “Go” menu and then click the “Library” submenu (You may need to press the “Option” key in order to show the “Library” submenu):
Then navigate to the “Input Methods” folder, and you will see “Keyman.app” inside.
Once you are able to locate “Keyman.app”, open the “System Preference” and go to the “Privacy” window again. First, click the “lock” at the bottom-left corner and type your password. Then, drag “Keyman.app” from your folder to the Privacy list box. Check it and you are good to go.