toplevel-setup.py
generate-webp-file
