Dunking on Trump’s sad press release is not the same as amplifying his tweets, but should we bother?