Na verdade já baixei e instalei (não usei o modo live pra evitar qualquer problema) o fedora 38; atualizei, baixei três programas de gravação de áudio, audacity, sound redorder e ardour; sem sucesso. Foi aqui que imaginei que o mic não funcionaria no linux.
Vi esse tutorial e pensei ser o mesmo caso; porém aconteceu de o mic funcionar no mit 20.3 antes de instalar as atualizações e reiniciar o sistema (na verdade usei ele por dois dias antes de instalar as atualizações). Então não é incompatível com o linux, mas com umas das atualizações que foram instaladas. Só não consigo descobrir qual.