2020-01-11 UTC
# 
[dmitshur] in practice, I'm not going to need it for now because it's just easier to add special case for github. For now at least, I'm going to use GitHub API to fetch the user info including their HTMLURL, rather than doing an HTTP get.