pub: updated to latest bot 0.13.0. No issues...