Files
kitty/docs/extract-rst-targets.py