Finished high-level developer documentation