It seems they don't document the ISA for any instance types. This could be deliberate (and unrelated to marketing) in case they decide to pull features from the instance types in a microcode update. Without any ISA specifics, previous customer commitments towards instance types would still apply.