It would be useful for you to fix them; but if you're too busy with
other useful things to fix these soon, please at least report them now.
Then others might fix them before you do.