Misc nice-to-have fixes/features

Warning No formatter is installed for the format ipb

Comments

This discussion has been closed.