People seem to have forgotten how good the 2023 GPT-4 really was at coding tasks.