Just an addition/fix to this: after that boot, where there was no AutoJB and I thought it was gone, I restarted and the AutoJB happened again. So it is not that it was gone, but it did happen that, after that forceshutdown and the boot cycle with the filesystem fixing and all that, the AutoJB...