update-alternatives 2023-02-08 11:51:07: run with --remove builtins.7.gz /usr/share/man/man7/bash-builtins.7.gz
update-alternatives 2023-02-08 11:51:07: link group builtins.7.gz fully removed