Why not "ssh [email protected]" (naming based on the example in the blog)? That way, you would have the "Host header" as username.