Thread:B1bl1kal/@comment-3087260-20131115174947/@comment-1682045-20131115175210

As a matter of fact, they are the one & the same. So yeah, we should merge them. I'lll do the redirect.