Now that potential Santa season is almost over...
I may be losing the beard. It was, in some ways, insurance against being deinstalled. Good (if temporary) money for Real Beard Santas, so I hear.
"Beware of bugs in the above code; I have only proved it correct, not tried it."
-- Donald Knuth