Now that GNU Bash 5.0 is released, I begin to have a look at some other
shells. Bash has so many features that I never ever use. `rm` can be a
builtin now, for example.

(Of course, people have been blaming Bash for being bloated for ages, so
this is nothing new. Just adds some extra motivation.)

mksh looks interesting, but I haven't had a look at the source code yet.
And, even mksh has a lot of questionable features. `[[` for example. The
default `.mkshrc` is really long, which makes you wonder where all that
comes from. Or is this just a techdemo?

I see OpenBSD's ksh has a Linux port. Hmm!