it's just what highcharts names their stuff. they ship two files for everything:

highcharts.src.js
highcharts.debug.js
highstock.src.js
highstock.debug.js
highcharts-more.src.js
highcharts-more.debug.js