Re: [glue-wg] Placeholder for IDs?