chiark / gitweb /
improve remote messages (reverse direction of << [[ ]] etc.)