2022-04-03 何故か NumLock される。 NumLk を押していないのに、何かのキーの組合せて NumLock されるのは xkeymacs の設定によるものだろうけど、プロパティをみてもどのキーバインドで NumLock されるのか謎。