Thread:Sannse/@comment-43719890-20200205190511/@comment-8-20200207161528

It turned out to be too long for a comment, so I put it here