I found that in /app/assets/javascripts/mention.js. Is there another (shorter) way to get the JSON of the user?