chiark / gitweb /
Archive old lab pages and rename assigned labs.