repoduce -> reproduce
GitHub has a new way to define issue templates. This gives an even more consistent formatting of our issues.