Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Small change to clean up main page for release (#548)
Small change here to make user documentation more prominent and remove the notice on the WIP banner (though it is ever true). If there are other small touch ups on this page we want to clean up, feel free to comment or submit a patch.
- Loading branch information