At some point in time I made up both of those names; `options` is probably the best generic name for arguments like these, but I don't care one way or the other.