chiark / gitweb /
Use .tmp for temporary files and write-then-rename