Migrate in playground appears to not update editor

[brunnerh]

Pasted this code:

<script>
   export let onDelete;
</script>
<form>
  <button type="submit">Update</button>
  <button on:click={onDelete()}>Delete</button>
</form>

Clicked migrate.
This updated the URL with hash data but editor did not change.
Reloaded page and it would show the migrated code (result URL).

Tested in Chrome & FF, Win 10.
Though on FF I needed two reloads to see the updated code.
Actually the reload behavior overall appears to be a bit weird...