Index: export_openscad.c
===================================================================
--- export_openscad.c	(revision 33060)
+++ export_openscad.c	(revision 33061)
@@ -663,6 +663,7 @@
 {
 	rnd_export_remove_opts_by_cookie(openscad_cookie);
 	rnd_remove_actions_by_cookie(openscad_cookie);
+	rnd_hid_remove_hid(&openscad_hid);
 }
 
 int pplg_init_export_openscad(void)