It should be removed then, since it's easy enough for users to add this themselves if needed.