Comment by ghc

Back in the early days of HN most people thought my username was my initials. Alas, if those were actually my initials it would be a fantastic example of nominative determinism.