In the mean time a short sentence on the wiki page about how to use the terminal to set the keys might be good? I would add it myself but I don't seem to be able to - is that wiki page private in some way?