chiark / gitweb /
Constify option table and add missing option