Update symbol_extensions.rb#1672

nimmolo wants to merge 2 commits intomainMushroomObserver/mushroom-observer:mainfrom

nimmo-system-extensionsMushroomObserver/mushroom-observer:nimmo-system-extensionsCopy head branch name to clipboard