Hi Karl and Happy New Year!

Yes, by hand--only for readability, since it was just a few tags.