docs/envydis: Fix missing option.