diff --git a/src/common/extUtils.js b/src/common/extUtils.js
index cabf8cb..39cf196 100644
--- a/src/common/extUtils.js
+++ b/src/common/extUtils.js
@@ -13,3 +13,19 @@
   var manifest = chrome.runtime.getManifest();
   return manifest?.version;
 }
+
+// Get a URL to a document which is part of the extension documentation (using
+// |ref| as the Git ref).
+export function getDocURLWithRef(doc, ref) {
+  return 'https://gerrit.avm99963.com/plugins/gitiles/infinitegforums/+/' +
+      ref + '/docs/' + doc;
+}
+
+// Get a URL to a document which is part of the extension documentation
+// (autodetect the appropriate Git ref)
+export function getDocURL(doc) {
+  if (!isProdVersion()) return getDocURLWithRef(doc, 'HEAD');
+
+  var version = getExtVersion();
+  return getDocURLWithRef(doc, 'refs/tags/v' + version);
+}