Update doc with latest news about extra lazy assoc