Coding education for a 5th grader: what's good after Scratch?

My child has been playing with Scratch since last year, and now seems a bit bored, so I'm thinking about the next step.

The candidates I'm considering are 1) Python basics, 2) Minecraft coding, and 3) a robot kit altogether. The goal isn't to become a developer but to build a habit of logical thinking, so I think fun is the most important. I'd appreciate advice from parents with experience.

by 취준생김씨764