I completely forgot, sorry. 
Unfortunately, the JSON schema format for the settings will soon be deprecated, so what I originally wanted to do will not work anymore (and the customization with it was too tricky, to be honest).
I wanted to post Don’s version but can’t find his repository. 
I will see what I can do to post a working version as soon as possible. 