Docs can have html, we just print one example, replace Ex with Example. Related to #615 and #701
Merge branch 'michel_701_dataexplorer_docs' into next