small tweaks
Move "Using Problem Details with Other Formats" to an appendix