This message was deleted.

I say go ahead and open an issue. The fix will likely have to make sure the change won't cause any issues elsewhere.