Are OpenBSD bugs worth filing?