Positional cues or not

[malcolm-hs@cs.york.ac.uk]

> One problem with documentation comments: sometimes they are before the
> definition of the commented thing, but sometimes after. They are before
> functions (which are long) but might come aftre type definitions (which
> are short). We should probably require them to come before.

I don't see much difficulty in allowing both before and after positions,
leaving it to the tools to re-format appropriately.  Why introduce a
restriction?

Regards,
    Malcolm