We sketch a proof of the generalised pro-2 real Section Conjecture for what we call equivariantly triangulable varieties over the reals.
Examples include all smooth varieties as well as all (possibly singular) affine/projective varieties. Building on this, we derive the generalised real Section Conjecture in the geometrically étale simply connected case.