chiark / gitweb /
stv: Document input format