[pretty_lorelei]

GitHub is owned by Microsoft though, so there's no guarantee they won't have problems with someone else doing this.