chiark / gitweb /
update name/description in examples/config.py