dmertz
Level 15

Deductions & credits

I don't find mention of it in my bug notes, but I'm pretty sure I encountered it before.