Hello,
I've noticed that since a month or two now, when we create new users, the format of their id has changed compared to older accounts. Indeed, before it was a 24 alphanumeric characters string, but now it seems to be a 6 digits number followed by ":" and a uuid containing some dashes.
With this new format, does the user_id is still the whole text after the /people/ in the URL or does it starts after the ":" ?
Does it still work to send a comment via API with `[~accountid:<user_id>]` to ping a user ?
The documentation is quite late on these topics and doesn't mention the new id formats. Would be nice to keep it updated 
Thank you.
