Should be removed after https://src.sourcegraph.com/sourcegraph/.changes/706 is merged.
This is no longer relevant, closing.
Should be removed after https://src.sourcegraph.com/sourcegraph/.changes/706 is merged.