Actually, I'd already seen this #1063670, but it slipped my mind. Old age is catching up to me, for real.