Restore `hp9k2[0-9][0-9] | hp9k31[0-9])' case line apparently accidentally removed in the last change.
1996-05-21T22:55:56