Board Thread:Decisions/@comment-24338901-20151005054415/@comment-26869076-20151005171752

I suppose it's slightly too late.

And no-one agrees...

I see no need to delete it. It would may help researchers or people making a list.