Tag: better lease documentation