Minor changes

- temporary disabling sending brag mails
- sorting bosses' scores in "Hall of Fame"