DebugInfo: comment/inlining based on feedback from Eric & Adrian