'#:optional' in Scheme function documentation looks weird

[Werner LEMBERG]

In `notation.pdf`, section 'A.23, Scheme functions', the function
header

  (define-safe-public (check-context-path path #:optional location)

gets currently translated to

  check-context-path path . lambda*:G59

which looks weird.  David, in case this is unavoidable (I remember
faintly that you've mentioned something along this direction), can you
provide an explanatory text that I could add to the beginning of A.23?


    Werner