lint: ignore mission translation