[BUG #8699] Remove obsolete comment regarding Firefox issue