Book documentation for the IDE