Complete documentation of `Session` extension