chiark / gitweb /
Move most .pl scripts to names without extensions. Drop ssize.pl, which I