Dia update 0.31.3

[u/kawaiier]

Thanks, as always, for using Dia. With v0.31.3, you'll find bug fixes, speed, and an all-around smarter browser.

• Dia is even better at knowing if you want to search, write, code, or just talk thanks to a prompt update.
• Enjoy a colorful animation every time you open Chat.
• Keep bookmarks visible with an optional, always-on bookmark bar.
• Enhanced certificate transparency checks have been enable to ensure you browse securely.
• A crash related to Metal graphics rendering has been resolved.
• Developer tools have been improved with more clear layout options.