Thread:The S/@comment-995426-20181213001001/@comment-995426-20181214004847

Not in-universe. "" (Wikipedia article in link) is just the most established real-life term for the phenomenon. There's also "tunnel dwellers," but that has a more narrow definition of just living in tunnels themselves.