Bash 5.0 released: add more new features