v3.5.1

What's Changed

• Fix non-strings also being escaped when copied by @LagoLunatic in #307
• Fix mouse hovers overriding typing in the symbol search field by @LagoLunatic in #308

Full Changelog: v3.5.0...v3.5.1