What do you think: Should MLB keep the 2020 extra-innings rule permanently?