Add some info to the developer guide.