[PATCH 1/6] server: Rename console_input to console.