Updated explorer_procomp.md