New documentation of xbob.extension.