Fix ghci snl machine settings#3060

bartgol merged 3 commits intomasterE3SM-Project/scream:masterfrom

bartgol/ghci-machines-fixesE3SM-Project/scream:bartgol/ghci-machines-fixesCopy head branch name to clipboard