Thread:BananaOTT/@comment-38703629-20200203144904/@comment-38786604-20200203165019

It shouldn't matter too much, though it is inadmissible to search for differences and alter them to the user's preference; this would be biased.