Just getting rid of this example; its outcome depends on way too many external factors; the more abstract example immediately following it gives a better illustration of how the function works (the doctest: +ELLIPSIS isn't necessary either since we add that by default now)