v8.1.0553
07dc18ff · patch 8.1.0553: it is not easy to edit a script that was sourced ·