Disk Utility First Aid problem in Mojave: Working around the Disk Locked bug

Link. I couldn’t find a fix in Google. Perhaps because Google isn’t as useful as it once was.