Wow, it seems I can no longer install Chromium extensions without logging in with Google. What a crappy decision! I just spent half an hour trying to do just that.