Oops! Wasn't paying attention.  They are removed in f11df1b6acd447893650e42e017b9261d1531a25