It would be great if I could print the decompiled code straight from this page rather than copying it elsewhere.

I would have thought that someone would have asked for this before but I can neither see how to do it nor see any other request for this.

Thank you.