template: Detect DevHelp
We can change the exposed UI depending on whether the documentation is browsed through DevHelp, and avoid duplication of existing functionality.
We can change the exposed UI depending on whether the documentation is browsed through DevHelp, and avoid duplication of existing functionality.