Seol mar théacs é seo: Hall algebras and the Quantum Frobenius