Yes, I was able to delete them from the SD card so that realeased about 15 GB from the card. I have now installed the current May / July update ---- without much trouble or need to use any external storage. It has not so far created any problems, but it also has not resolved a few issues which have persisted eg. Pasteboard History stopped working a while back and attempted fixes have not worked.