Thank you all for the public and private birthday wishes. I appreciate them all!

Fellow geeks might find this amusing: If you're signed into Google, and especially if you use Chrome, you get a customized Google Doodle on your birthday. :)