Maybe mention in a comment the issue on the tracker.
Otherwise this looks quite strange and someone later might attempt to remove it without knowing the actual reason.