Re-move the user documentation moved by this fu..... GitHub.