Correct, they are only used internally by code that creates a new instance of the UserAgent object and never shared between different versions of the code.