Talk:Top Hat/@comment-32197189-20180606141234/@comment-33984756-20180609210630

Is this still open?