Fix webide by adding correct file extension to temp files

• has a changelog entry

requested review from @er433

assigned to @melwyn95

added 1 commit

• fed65e01 - Add changelog

Compare with previous version

approved this merge request

A new deploy preview is available on Netlify at https://1440-a6b1a93f--ligo-webide.netlify.app, you can view the logs at https://app.netlify.com/sites/ligo-webide/deploys/61a8c42bf82bbc0059c27e12

started a merge train

A new deploy preview is available on Netlify at https://1440-8ed1392c--ligo-webide.netlify.app, you can view the logs at https://app.netlify.com/sites/ligo-webide/deploys/61a8c93f193c4700895fff72

merged

mentioned in commit 3a45e5be