I think <github-ajax> is working