I just realised that I screwed up before. I had checked the registry for “PendingFileRenameOperations” after my computer had been on for a while. After checking it immediately after restart, I do indeed have “PendingFileRenameOperations” in the HKEY_LOCAL_MACHINE\System\CurrentControlSet\Control\Session Manager entry.

However, it contains many more lines than just “reboot.txt”.

Sorry for the mistake, I’ll make sure I read the instructions more carefully in future.