[microtherion]

Yes, its omission from the article seemed like an important oversight to me.

[v8engine]

I see it in the "Other WireGuard goodies" section.

[microtherion]

I stand corrected, or it was added after I looked at the page (which appears to have been updated on April 8).