Remove redundancy in the menu skinlist by only showing the skin title, without the directory name
Update player model list when menu is opened (no noticeable performance difference, fixes clients needing to menu_restart to load custom server's models)
Merge remote-tracking branch 'origin/sev/menu_skinlist_titles'
Merge branch 'Mario/menu_modelupdate'
Fix some cases of division by 0
Update stat for jumpheight in the jumpheight mutator hook (perhaps this should be a global thing...)
Use old flight (jetpack) if buffs are disabled
Merge remote-tracking branch 'origin/master' into Mario/buffs