> So I suppose I was asking if it's considered a public API. It is an unfortunately hazy area because it is an internal symbol that has been in fact used by other things and was for a long time the only option they really had.