[Community] Question: should these documents in the repo community or infrastructure?