codex heeft net een python-script gemaakt om een van mijn tsx-bestanden te bewerken, wat doen we man