The `lgtdoc` tool scripts that generate (X)HTML documentation now add anchors to each predicate section using as name the predicate indicator