Update documentation to reflect current status

Do not merge this pull request for reference and CI only.