Make docs web-friendly (remove file: prefixes in browsers, keep them in help)