Thanks @gerhard for taking the time to list these missing keys. What I wonder though is why didn’t you submit a pull request instead? You only have to click the Edit button on GitHub 
2 Likes
Thanks @gerhard for taking the time to list these missing keys. What I wonder though is why didn’t you submit a pull request instead? You only have to click the Edit button on GitHub