Improve symbol libraries #11

Closed
AllSpiceAlice wants to merge 3 commits from develop into main
Showing only changes of commit 593601b014 - Show all commits