I just meant a simple (ideally Python, since it's what's already used) script that scans the themes and prints the Markdown. The script would be run from the make file to regenerate the Markdown file whenever adding a new theme, like is already done with `mkindex.py`.