Documenting REST