(original) (raw)

I personally would prefer (1) to (2) or (3), and (3) to (2), had I my
druthers, but it doesn't matter a \*whole\* lot to me; I'd prefer any of
them to nothing (or to changing the docs to reflect the current batty
behavior).