we have not used private[this] that much compared to private, I would guess that most places private[this] would be "more correct". Do we have a strong opinion (and then we should replace everywhere) otherwise I will stick to the majority convention