user flag in lazy empty?

Hello guys,
I know that this is a retired machine and there is no point in getting user flag if you already got root but, it was interesting that user.txt file is quite empty, even after restart.