Added @todo for Session:setOption().