I reported bug in github but struggled to find a way to attach a file to the issue. Does github have all the functionality of trac? Notice: This email and any attachments are confidential. If received in error please destroy and immediately notify us. Do not copy or disclose the contents.