FAITHFULLY FLAT EXTENSIONS: faithfully flat Hopf-Galois extensions, examples of nonstandard quotients (e.g., Podles spheres) and the need to go beyond Hopf-Galois, principal homogeneous extensions, Galois type correspondence between coideals right ideals and coinvariant subalgebras