`sudo --edit` also works