I found the discussion where someone remembers seeing RCR before Toy Story, and this is somewhat backed up by IMDB.
On the other hand, the print that I saw at the time had no short at all, so it must not have been a universal thing. Perhaps we should have it anyway to represent an optimum screening experience…