Note that a gold bug has been fixed.

We should be able to stop working around it at some point in the future.