I'm sure it was not. With specially prepared USB hardware you can read out main memory without any protection, and thus get around DRM. So they surely wanted to counter that.
If the paper says nothing then they probably just didn't think about it. You can extend a 32-bit seed to 64 bits in various ways, and some may yield better results than others. If the paper mentions any seed extension strategies for wider numbers, then maybe you can adapt them to 32->64.
If not, why not try something like !X, X, where ! is bitwise or and X is your 32-bit seed.
I can recommend NixOS. It's quite simple if your wanted application is part of NixOS already. Otherwise it requires quite some knowledge to get it to work anyways.
Answering "thank you" to "I love you" is a polite way to deal with unwanted advances of another person. The reaction emoji under the message is commonly interpreted as "thank you".
Corporate metric improved: people spend more time in our stores now!