Rename js3-mode to js3, reflecting the actual feature name