--- a/implementation.js	Fri Jul 08 11:21:25 2011 -0600
+++ b/implementation.js	Fri Jul 08 11:27:42 2011 -0600
@@ -2925,9 +2925,6 @@
 };
 //@}
 
-// "The backColor command must behave identically to the hiliteColor command."
-commands.backcolor = commands.hilitecolor;
-
 ///// The italic command /////
 //@{
 commands.italic = {