>
> 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.
>

OK, I just reported the bat-mode font-lock issues, see bug#28311.

    -- Anders