Moved user-facing documentation into fox files to avoid UTF-8 in C++.