Got a visit from an angry amanuensis (is that the correct English term?) that we should leave the office we had been given ASAP (it was on loan from another department, and they needed the room for a foreign visitor). With some interdepartmentary diplomacy I was able to get us a new office, which is bigger and spacier than the previous one and is directly attached to the computer lab where we teach. I think it went quite well in the final analysis. The problem is, our new office space was reserved by a professor who has not used it in the last year, and we were given that space without asking the professor. Oh well, we need that office only for a month or so anyway. And I got my own work computer, on which I immediately installed Debian potato (as of first test cycle). The install system has really improved.
No time to code today, I am sorry to report. But yesterday I finally settled on two random number sources for Winters: /dev/random for the top-security stuff (keys etc) and a /dev/random-seeded MD5-based PRNG for the workhorse random numbers. And it works too, although I may have to rewrite the MD5 implementation (stolen from dpkg) for increased portability.