Weakly etale versus ind-etale

Still a bit rough.