Install the extension directly from GitHub because pip does not find it (yet).