Documentation: Escaping of dollar signs as characters.

Fixes #5373