Rename 'separators' to 'js-separators'; see DJSON-9