Describir: Hall algebras and the Quantum Frobenius