it seems that an event handler using

environment.monitor.subscribe(ApplicationStopping) { ... }

stays subscribed even after auto reload in development mode. how can I properly unsubscribe my listener on auto reload? additional question: shouldn’t these kind of handlers automatically be unsubscribed on auto reload?