Merge pull request plugdata-team#1397 from plugdata-team/develop

Develop

Allow docs browser thread to quit early

Merge pull request plugdata-team#1297 from plugdata-team/develop

Update ELSE version displayed

Also copy new daw-storage abstraction

Better symbol visibility settings

Fixed tab button text position

Merge branch 'main' of https://github.com/plugdata-team/plugdata

Fixed syntax error

Update README.md