mark_old as a quadoption?

[Gabriel Philippe]

It seems to me I saw, many years ago, questions when I was leaving
folders: "Mark unread messages as old?".

mark_old is currently a boolean. Has it ever been a quadoption? (I
would prefer that way)

-- 
Gabriel