chiark / gitweb /
Improve scratch handling to cope better with slow decoding. The