Some of these options would have been way cooler than Tilde; perhaps it could provide alternate options too? https://terminaltrove.com/categories/text-editors/

Some of these options would have been way cooler than Tilde; perhaps it could provide alternate options too? https://terminaltrove.com/categories/text-editors/ https://terminaltrove.com/categories/text-editors/