12 Feb 2020: Oops, dammit, fixed, refresh, thanks. - Bruce

11 Feb 2020: Check the line in the last box.

11 Feb 2020: Woke Mr. Faceless.

end of comments