Thread:Randomness central/@comment-45429750-20200824064928/@comment-45780060-20200824141945

Is that just deleting unnecessary stuff? Sure!