发送短信: Commensurating HNN-extensions: hierarchical hyperbolicity and biautomaticity