Why were these changed from their checkbox labels (Check for Globals, No try-catch) to the url ids (noglobals, notrycatch)?