Personally I prefer it but I don't mind either way; that said, as you say, there are several other examples that have it. Remove it during the merge if you feel strongly.