OMG! We can finally search and delete our Svelte REPLs! 😎 Great work, whoever did this!