Huh.
Weird. No trace of that comment in the WordPress export file. Maybe I answered it on Discord, or something?