chiark / gitweb /
filamentspool: Make numbers not blue, remove debugging