Because next release is a breaking version (0.15), we should remove deprecated items before then. Note: a few (very few) items are perma-deprecated and should have a comment to that effect. In a few cases, we might want to undeprecate and keep an API. Related #698