Comment by pornel

For the record, ChatGPT can actually correct spelling of this (or it has seen spoilers somewhere…)