progressive disclosure github copilot