@krilnon If these attributes are documented, it may give the impression that they are safe to use in third-party APIs. Could you at least add a disclaimer that they are currently for internal use only?
I can look into prefixing them with an underscore, if their originators @Douglas_Gregor and @jrose agree.