Drop old, commented-out inclusive-or code.

If we ever need it, it'll be in the revision history.