Add documentation of the core module