<div dir="ltr"><div style="font-family:arial,sans-serif" class="gmail_default">Hi Hécate,</div><div style="font-family:arial,sans-serif" class="gmail_default"><br></div><div style="font-family:arial,sans-serif" class="gmail_default">What would help here is a Gitpod or GitHub Codespace for working on GHC. I've been meaning to set up a Gitpod following the recent article by Cheng Shao:</div><div style="font-family:arial,sans-serif" class="gmail_default"><br></div><div style="font-family:arial,sans-serif;margin-left:40px" class="gmail_default"><a href="https://dev.to/terrorjack/my-ghc-dev-environment-with-vscode-remote-docker-3ek4">https://dev.to/terrorjack/my-ghc-dev-environment-with-vscode-remote-docker-3ek4</a></div><div style="font-family:arial,sans-serif" class="gmail_default"><br></div><div style="font-family:arial,sans-serif" class="gmail_default">I'll see if I can find time this weekend, but don't let that stop anyone from giving it a go.</div><div style="font-family:arial,sans-serif" class="gmail_default"><br></div><div style="font-family:arial,sans-serif" class="gmail_default">Cheers,</div><div style="font-family:arial,sans-serif" class="gmail_default">Steve<br></div></div>