Thread:Juraj103/@comment-117115-20200120072308/@comment-3131473-20200120123552

I'll try to discuss it with the author if possible; if not, it would likely stay as it is.