chiark / gitweb /
input_id: code cleanup