chiark / gitweb /
Possibly fix the encoding issues with odd locals.