WARNING:
Do not put this under old versions (pre-V4) of taxonomy menu. I do not know if it will work. It should, as the API is the same, but it is untested and not expected to work.

As usual, you are Drupal recommended to bring down your site and reinstall

As usual, I think you can get way with slotting the new module in and enabling.