chiark / gitweb /
Reorganise docs to include new howto material in intro etc.