Undeprecate  property, as we do use it in our activation hook. Still though, it is inadvisable to use it elsewhere.