its IDREES's Highlights on 'code-423n4/2023-08-goodentry' | Glasp