Non-separable Effros Theorem, and shift compactness versus ample genericity