Artifacts of Overture IDE core plugins GUI #252