Re: [coreboot] [RFC] What to do with the issue/bug tracker and bugs?