Follow-up to #2346575 by drunken monkey: Reverted rename of "search_api.server_task_manager" service.