Using `WFE`+`SEV` as opposed to `WFET`

[ashvardanian]

As it's been pointed out, WFE may be preferred over WFET due to higher availability.
Let me know if someone wants to work on this 🤗