Bash[3] has worked out very well, with the transition from Bash2 being trival vs. Bash1->Bash2. Maybe we don't even need this port anymore?