> The good managers I work with (and in my role I work with many) are definitely leaders in the traditional sense.
Good managers are leaders, but this is far from universal.
Most orgs have no shortage of managers who used be good individual contributors, and who were pushed into the management track due to seniority when the previous manager left, or who wanted the pay bump, but have no real leadership ability and have no business being there.