Sorry, dear readers, I’m taking a day off today.
I'm taking a day off and will update earlier tomorrow.