Is this extension hosted on sqlite.org somewhere rather than a gist?