On 06/07/2017 03:36 AM, Alan Bateman wrote: > I agree a taglet would be useful here, especially as the style > specified to the "dl" tag is copied to many places. Agreed, but it seemed too late to add that. We'll need to do a round of cleanup for javadoc support for modules. -- Jon