o Minor bugfixes (logging, bug reporting): - When logging a bug, do not say "Future instances of this warning will be silenced" unless we are actually going to do so. Previously we would say this whenever a BUG() check failed in the code. Fixes bug 33095; bugfix on 0.4.1.1-alpha.