[PATCH 1/9] server: Remove no longer needed console_input_events_append.