Yes, but the electrohydraulic single clutch transmissions were actually called "electrohydraulic manual transmissions" at the time (when no other variants existed). That's why the wikipedia article on that type of transmission still bears the same name despite (to this day) being completely distinct from dual clutch transmissions. When the dual clutch transmissions became mainstream, they were referred to as "dual clutch" rather than electrohydraulic because they were so different from the single clutch variants, and that became the accepted general usage. Now, in a contemporary renaming, the electrohydraulic single clutch transmissions are usually called single clutch in typical parlance (e.g., in media when describing post-dual clutch cars that use electrohydraulic single cluch transmissions like the LFA and Huayra), but you still won't ever hear anyone refer to dual clutch transmissions as "electrohydraulic manual transmissions".

Regardless of contemporaneous nomenclature, it nevertheless remains that Stroock639 was referring to the electrohydraulic single clutch transmission in his post.