add a quick comment on using Bugzilla instead of GitHub issues