chiark / gitweb /
Update socket proxy name in TODO. Reformat to list.