Ticket32661: Document that we don't change src/ext much
This branch documents that src/ext is externally maintained.
It also moves our documentation about individual pieces of src/ext into our doxygen output, and turns it into md.
This branch documents that src/ext is externally maintained.
It also moves our documentation about individual pieces of src/ext into our doxygen output, and turns it into md.