Based on IRC discussion, we've decided to leave it as is.