4 ms·WASI for plugins is a great choice. Are other editors out there doing this?by cdaringe 5y agoWASI for plugins is a great choice. Are other editors out there doing this?