I also ask, is there any modern use cases of GOFAI left? Is it even a good pre-requisite to study for modern LLMs and gen-AI?

Personally, I think rule-enforcing GOFAI is what ought be supporting a much-thinner LLM layer that helps translate user requests.

Alas, there's a lot of convenience/hype appeal to just throwing most of the functionality in the magical mad-libs blender and trusting that reliability and security problems won't be too bad.