def get_random_user
      source = open('https://github.com/search?utf8=%E2%9C%93&q=repos%3A%3E0' \
                    '&type=Users&ref=searchresults').read
      continue = false
      until continue
        # Really, GitHub? ’ and not '?
        max = source[/We['’]ve found (.*?) users/] || source[/Showing (.*?) available users/]
        userid = rand(max.to_i_separated)
        user = get_user_and_check(userid)
        continue = true if user != false && !get_user_langs(user).empty?
      end
      # noinspection RubyScope
      user
    end
def get_random_user
      source = open('https://github.com/search?utf8=%E2%9C%93&q=repos%3A%3E0' \
                    '&type=Users&ref=searchresults').read
      continue = false
      until continue
        # Really, GitHub? ’ and not '?
        max = source[/We['’]ve found (.*?) users/] || source[/Showing (.*?) available users/]
        userid = rand(max.to_i_separated)
        user = get_user_and_check(userid)
        continue = true if user != false && !get_user_langs(user).empty?
      end
      # noinspection RubyScope
      user
    end
Gets a random GitHub user that actually has data to analyze.
   Must always get a user that exists and has repositories, so it will
   go through a loop infinitely until it gets one. Uses the GitHub Search
   to find the maximum number of users, which may not be the best way to do
   it. However, none of the documented GitHub APIs show that we can get the
   total number of GitHub users.
 @return [Hash] See #get_user_and_check.