Add a comment in the formula with the upstream bug report URL.