Good point. Submitting a commit to remove those now.