Right, but that's our job (keeping docs up to date), no need to tell the user.