diode v0.9.11

🚀 Features

• A click previews, a double click and Enter pin — as upstream (#770)
• Preview tab label in italics (#772)

🐛 Bug Fixes

• Kill a hung extension host with SIGKILL when it survives SIGTERM (#758)
• Enter in an input box no longer gets lost while the name is being checked (#767)
• Keep files out of the terminal's editor group (editor group lock) (#771)
• ActiveTerminal follows the terminal tab, so show() no longer opens the panel (#773)
• Extension decorations no longer wipe git gutter bars (#774)