The question: "Is it possible to derive sequence alignments from the 3D alignments from O in a fairly straightforward way?"
both LSQMAN and O can do that in O: use lsq_improve; at the end it gives a list of matched residues LSQMAN: use IMprove; at the end it shows aligned residues (with an asterisk if the residue type is conserved)