Codex IDE extension - kayato's Scrapbox