Thanks for the ideas!
Line numbering is now available in the post of Tips & Tricks and Learning sections. With double-click the code changes back to raw formatting for copy-paste. 2 buttons on the top right for raw formatting or opening the code in a new window.
Gergely Fehér
Team Leader, Library Team
GRAPHISOFT SE