Adds proc-internals documentation