Chris Hughes has been busy building JDeveloper extensions lately. His newest one is quite a handy tool for us product managers. It lets you select a part of the source code in JDeveloper and choose Edit->Copy to HTML.
This comes out as a formatted HTML code that we can than stick into articles and how-to's on OTN.
Check it out under the Help->Check for Updates in your JDeveloper 10.1.3 menu option.
And if you want to build your own extensions check out the JDeveloper Extension SDK samples that will get you started.