chiark / gitweb /
Translate preferences page to the new order.