We would very much appreciate any bug reports, even if you don't have the time to reduce (if you have filed under another username, thank you!).