Docs per #3543