I’d hope so too, but as there are so few platforms offering proper support for hardware keys, I wouldn’t hold my breath for it.

What you call “much smaller mini edition” is still more extensive and thorough than 99% of posts on this platform :D and I really enjoy and appreciate it!