#17: rename InputInterceptor -> InputDispatcher.