chiark / gitweb /
rename dike -> dyke everywhere