Maintenance patch apparently, good work team. Looks like they fixed a few shell issues as well but afaict `ctrl-d` to end session hasn't made the cut again uff.