top: more detailed note on compact subspaces
top: fixes
eopt: fixes
top: various changes