Update docs to reflect current situation