@numberphile @aperiodical I can give you his email address. No idea other than that, sorry.