More core documentation and formatting