ngcgui docs: avoid special characters