extract.docs.fun(fun)
Additionally, contiguous sections of ## comment lines beginning with
< In the case of value, the extra information is appended to that from
any final ### comment lines. Each separate extra section appears as a new paragraph
except that empty sections (no matter how many lines) are ignored.