Gtk: gtk_notebook_get_tab_label: assertion 'list != NULL' failed

It appears to be a bug on DrRacket's side (or deeper), when closing a tab. Filed an issue here: