I am leaving on vacation for about five days,
and will resume posting when I return.

Happy holidays to all!