chiark / gitweb /
Change the behaviour of the "print" file menu entry. For #466