Thread:Vasara5/@comment-27493717-20180501114545/@comment-33576184-20180506085657

If you don't mind, I am going to create a Mixed talk archive, where I am going to move the older entries, so I can clean up the message walls.