const DEBOUNCE_INTERVAL: Duration;
How long to wait after an event got received, before we try to process it.