Would it be possible to move this extension to git? This post was posted by Kghbln, but signed as 80.123.19.43.