It doesn't really seem like something worth bothering with. If it becomes a problem, we can address it in another issue.