No, sonic-pi doesn't seem to depend on the plugins, so this issue does not seem to be related to the sonic-pi breakage.
No, sonic-pi doesn't seem to depend on the plugins, so this issue does not seem to be related to the sonic-pi breakage.