Hmm... this extra comment should probably be removed.  (Alas, looks like something I might have left... :disappointed: .)