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.