I understand that we don't use it, but it's still public API that someone else could be using, so I think it should be deprecated to be safe.