Great advices. There are great and bad managers, and there are managers who have been in turn managed in different ways, or focus and can help their directs in different ways, sometimes not holistically.

It's not necessarily only on the manager to own the career of the direct, the direct needs to facilitate it themselves too as you have highlighted.

I think a personal and professional development plan can bring everything together too, and one can put create one on their own then consult the manager on the items that the manager can provide opportunities for ( https://adriannenu.medium.com/make-a-personal-personal-development-plan-530ebc99017e ).