v4.1.0

What's Changed

• feat(erd-editor): An Explorer tree with find and replace, a diff tree by id, one jump rule by @dineug in #512
• feat(erd-editor): Add table group chords and add buttons on the floating toolbar by @dineug in #513

Full Changelog: v4.0.0...v4.1.0