Auth0: Other UserProfile definitions, etc.

Also includes a couple browser window extensions necessary for
interacting with the API.