Add user documentation for explicitly-bidirectional pattern synonyms