Talk:Stegron/@comment-11394256-20160908234938/@comment-27185666-20160908235618

It should be that, but you'd have to ask Chai-Tao.