Update colophon, add developer's guide.