Okay, I'll FAQ it.

I hadn't done so yet because a) it's a real serious repair job with a very real chance of ruining the display board and/or VFD completely, and b) I believe that most of these problems could still be solved with even more aggressive debouncing in software.

Anyway, the FAQ entry is done.