chiark / gitweb /
filamentspool: Properly double % in PS printf format here doc