Re: Are OpenBSD bugs worth filing?