chiark / gitweb /
Now we have the new `module' command, use it.