--- a/html/DOM3-Events.html	Sun Aug 25 10:20:21 2013 -0700
+++ b/html/DOM3-Events.html	Sun Aug 25 10:38:21 2013 -0700
@@ -6089,7 +6089,7 @@
 			<p class="note"><strong>Note:</strong> The key names <code class="key">'NumPad0'</code>, <code class="key">'NumPad1'</code>, <code class="key">
 				'NumPad2'</code>, <code class="key">'NumPad3'</code>, <code class="key">'NumPad4'</code>, <code class="key">'NumPad5'</code>, <code class="key">'NumPad6'</code>,
 				<code class="key">'NumPad7'</code>, <code class="key">'NumPad8'</code>, and <code class="key">'NumPad9'</code>, found in some keyboard enumeration sets,
-				are not distinguished from other numerical key values in this set; a content author could use the <a href="#widl-KeyboardEvent-location"><code>KeyboardEvent.location</code></a>
+				are not distinguished from other numerical key values in this set. A content author can use the <a href="#widl-KeyboardEvent-location"><code>KeyboardEvent.location</code></a>
 				attribute to discover if a key originated from the numeric keypad.</p>
 
 			<p>Future versions of this specification MAY include key values not included here, which have become common since the publication of this specification.</p>
@@ -6380,7 +6380,8 @@
 					<key name="ColorF3Blue">General purpose color-coded media function key, as index 3 (blue). (VK_COLORED_KEY_3)</key>
 					<key name="ColorF4Grey">General purpose color-coded media function key, as index 4 (grey). (VK_COLORED_KEY_4)</key>
 					<key name="ColorF5Brown">General purpose color-coded media function key, as index 5 (brown). (VK_COLORED_KEY_5)</key>
-					<key name="Dimmer">Adjust brightness of device, by toggling between or cycling through states.</key>
+					<key name="ClosedCaptionToggle">Toggle the display of Closed Captions. (VK_CC)</key>
+					<key name="Dimmer">Adjust brightness of device, by toggling between or cycling through states. (VK_DIMMER)</key>
 					<key name="DisplaySwap">Swap video sources. (VK_DISPLAY_SWAP)</key>
 					<key name="Exit">Exit the current application. (VK_EXIT)</key>
 					<key name="FavoriteClear0">Clear program or content stored as favorite 0. (VK_CLEAR_FAVORITE_0)</key>
@@ -6418,6 +6419,7 @@
 					<key name="MediaTrackNext">Seek to next media or program track. (VK_TRACK_NEXT)</key>
 					<key name="MediaTrackPrevious">Seek to previous media or program track. (VK_TRACK_PREV)</key>
 					<key name="NextFavoriteChannel">Cycle to next favorite channel (in favorites list). (VK_NEXT_FAVORITE_CHANNEL)</key>
+					<key name="NextUserProfile">Cycle to next user profile (if there are multiple user profiles). (VK_USER)</key>
 					<key name="OnDemand">Access on-demand content or programs. (VK_ON_DEMAND)</key>
 					<key name="PinPDown">Move picture-in-picture window down. (VK_PINP_DOWN)</key>
 					<key name="PinPMove">Move picture-in-picture window. (VK_PINP_MOVE)</key>
@@ -6427,6 +6429,7 @@
 					<key name="PlaySpeedReset">Reset playback to normal speed. (VK_PLAY_SPEED_RESET)</key>
 					<key name="PlaySpeedUp">Increase media playback speed. (VK_PLAY_SPEED_UP)</key>
 					<key name="RandomToggle">Toggle random media or content shuffle mode. (VK_RANDOM_TOGGLE)</key>
+					<key name="RcLowBattery">Not a physical key, but this key code is sent when the remote control battery is low. (VK_RC_LOW_BATTERY)</key>
 					<key name="RecordSpeedNext">Toggle or cycle between media recording speeds. (VK_RECORD_SPEED_NEXT)</key>
 					<key name="RfBypass">Toggle RF (radio frequency) input bypass mode (pass RF input directly to the RF output). (VK_RF_BYPASS)</key>
 					<key name="ScanChannelsToggle">Toggle scan channels mode. (VK_SCAN_CHANNELS_TOGGLE)</key>