Just letting everybody know that I have decided to disable Github Issues. Reason being is that it was constantly being misused and adding submission guidelines don’t seem to make much of a difference. If you have submitted a bug report there that has not been addressed, feel free to post it again in this forum.