codebrainz approved this pull request.
This looks good to me.
As mentioned in the comments, it would be nice to have another pull request that either generates this using a Python script (rather than using additional tools/templates), or to update `ADDING-A-THEME` reminding to update this file manually.