Thanks too. I do it just out of old habit. But on the official discord channel the developers have long ago posted a link to a site with all the current keys, which is more convenient and easy to track. I recommend it.