Fix (?) the so-called P10k problem in the weekly PR summary mailouts.
For future reference, the weekly mailouts are done from a trivial script
which merely calls this script in plaintext (rather than in html) mode.