I suspect you'll get a faster answer if you open an issue in the GitHub repository, which might send him an email.