$ rpm -q bash bash-5.1.8-9.el9.x86_64 $ man bash | sed -n '/BUGS/,/^$/p' BUGS It's too big and too slow.