freenode/#sicl - IRC Chatlog Search Sunday, 2nd of August 2020, 14:00:34 UTC 0:04:04 no-defun-allowed Okay, a working Pi 4 finally arrived; it's consistently about 4× faster than the old Pi 2 on SICL bootstrapping, Netfarm and whatever else I could think of to test with.