The Informal Blog - CometBFT Priorities for 2023 Q2