Documentation link - Can I change the format of 'manuals.json'?

Hi, here's the documentation team. I want to change the format of https://docs.typo3.org/typo3cms/extensions/manuals.json

That's an array with the extension key as key and some value. I want to simplify the value part and always set it to just "1". The reason is that I'm changing the script and don't know how to create the current values.

As far as I understand the ter2 code only the key is used.

So, instead of having

can I just write {"a1_teasermenu":1,""a1_ttnews":1, ... } ?