Bug reporting by mail rather than as a GitHub issue