On Mon, 2022-12-12 at 13:47 -0600, Christopher Menzel wrote: > Or maybe has a pile of papers to grade. :-) A large pile, you mean. :-D -- José Abílio