I just went to github to follow-up your advice, but it seems I need a account there to be able to submit this report there. Too lazy for that at the moment. In any case... github... I think it would be much nicer to use steemit platform to monetize bug-reporting. Maybe a nice addition to steemit platform in the future: a bug tracking system. Just an idea...