Maybe a bug with Hal, because I can not find him with VIP position indicator when I use members search on the forum. The search results only include these last two cases.

Or maybe there is no bug, just because the forum has: user badge and display badge. For honorable VIPs, what they got are display badges, not user badges like VIP donators. If it is, I guess theymos mistakenly gave last two the VIP user badge, rather than VIP display badges. It is my theory, only.

Hal,

Just to echo the other devs:  your contributions continue to be felt today.  Pieter (sipa) is working on integrating your ECDSA speed-ups into the main client.

Thanks so much.

In any case, I thought I recalled Theymos saying the forum's finances were such that no more donations were needed--and even if I'm wrong in my recollection,