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.