Please make this report on GitHub. All development has been moved there and this tracker will be closed. Thanks and sorry for any inconvience this has caused.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Please make this report on GitHub. All development has been moved there and this tracker will be closed. Thanks and sorry for any inconvience this has caused.