Yeah may be a good idea to remove from #524 onwards, everything that was asked was answered, so there needn't have been any more discussion on that topic beyond #523. To remove from before #523 would be just be plain censoring though, & I'm sure that's not in joerg's principles...