doc: ISDS replaces some characters with their ASCII approximation