Erwin Brandstetter <brandstetter(at)falter(dot)at> writes:
> Obviously for historical reasons the syntax in a number of places still
> reads
> " /username/ | GROUP /groupname/"
> instead of
> " //[GROUP] /role//name/"
> (Allthough I would change that.)
Right, done.
> However, the example further down is not correct any more:
Fixed --- thanks for reporting it!
regards, tom lane