This should not be necessary anymore since all comments are
"pre-rendered" in the gr-diff-host. I compared before and after with the
Chrome profiler for the file [1] of the original report [2], and could
not find a difference.
[1] /c/chromiumos/third_party/coreboot/+/257398/25/src/soc/mediatek/mt8173/dramc_pi_calibration_api.c
[2] https://bugs.chromium.org/p/gerrit/issues/detail?id=4335
Change-Id: If030867ddf0d7e8aba1252c06242965eca5c08c0