Fantastic and very handy. Thinking to print a second one for my other HOL.

Thank you for sharing this :)