I like how you explain the problem of `PS1` (stateful vs stateless). I actually saw the problem before but only once.