I'm aware you do not like doing this, and have discussed this with several people at length some months ago. In this case the tradeoff seems well worth it, as it does not cause any actual issues.