Archived badges are restored during course restore

Restoring a backup of a course that had badges deleted restores the deleted badges in the new course.

We have reproduced this in a pure Moodle (no plugins whatsoever) site running 2.5.4.

Steps to reproduce:

1. Create a course and add at least one badge (badge does not need criteria).
2. Do not add activities to the course.
3. Ensure no student has earned any of the badges.
4. Delete at least one badge.
5. Make a manual backup of the course with below checkboxes checked and all others unchecked:
   1. Include enrolled users
   2. Include user role assignments
   3. Include activities
   4. Include blocks
   5. Include filters
   6. Include comments
   7. Include badges
   8. Include calendar events
   9. Include user completion details
   10. Include course logs
6. Click restore link for Backup file.
7. Restore the course into a new course, accepting default restore options.
8. In the restored course, go to Course Administration > Badges > Manage Badges.

Expected results - Badges deleted prior to backup do not display in restored course.

Actual results - Badges deleted prior to backup appear in restored course.