This commit migrates the JSON overview documentation that was recently added from Markdown to Doxygen.