I'm not sure if making an entirely new HscEnv is too large a hammer, but it works for now.
Attach a file by drag & drop or click to upload
