Is a plugin better than editing a page manually?

For menus that change often, yes. Manual page edits can work for very small static menus, but structured menu content is easier to maintain over time.