OK, I don't have a strong opinion either way. @markelog, what do you think?