This post has moved to https://tau.gr/archive/posts/2020/2020-09-30-speed-up-blackboard-collaborate/.