Thanks to all!
Although birthdays never seem particularly happy to me, least of all this one (turned fifty today), as I do not like being reminded that I get older, it is still nice to know some people think of me occasionally.
I hope that I will find more time to participate on this and other forums again in the near future (the first half of this year was extremely bad work-wise), however I am not sure how it will work out. Every little thing that I do seems to take longer and longer as I get older, and sometimes I feel like staying in bed for some weeks or months.
Anyway, I will stick around here to the best of my ability...