RST docs: convert HTML escapes to plain text in code examples.