Activists' lawsuit ignores hard-won compromise on Arctic oil project