This is to try and (a) help people provide more complete information when submitting issues and (b) direct people who want support to other channels instead of creating an issue on Github.