[Users] Printing cut off

[Keith Edmunds]

> Probably https://bugs.debian.org/776563
> 
> There's some workarounds worth to try there.

Thanks Ricardo: explicitly setting the printer font to the default,
monospace 9, fixed the problem.
-- 
"50% of the population is of below average intelligence. Yes, only 50%"
- Kilo Echo