TLDR; as outlined on https://forum.badger.finance/t/bip-13-launching-with-2nd-coverage-insurance-partner-nexus-mutual/1049, approve the allocation of 75,000 $BADGER for shield mining on Nexus Mutual, our 2nd insurance partner after Cover Protocol.
Please see the link for further details that also discusses the importance of insurance as a product in DeFi.