How to contribute / patch for autogrow bug in Firefox

Hi,

I cannot seem to find a link on how to contribute to the project on the site nor on the forum so I'm adding a post here asking how-to as well as posting a patch for the autogrow plugin:

/*
 * FCKeditor - The text editor for Internet - http://www.fckeditor.net
 * Copyright (C) 2003-2008 Frederico Caldeira Knabben
 *
 * == BEGIN LICENSE ==
 *
 * Licensed under the terms of any of the following licenses at your
 * choice:
 *
 *  - GNU General Public License Version 2 or later (the "GPL")
 *    http://www.gnu.org/licenses/gpl.html
 *
 *  - GNU Lesser General Public License Version 2.1 or later (the "LGPL")
 *    http://www.gnu.org/licenses/lgpl.html
 *
 *  - Mozilla Public License Version 1.1 or later (the "MPL")
 *    http://www.mozilla.org/MPL/MPL-1.1.html
 *
 * == END LICENSE ==
 *
 * Plugin: automatically resizes the editor until a configurable maximun
 * height (FCKConfig.AutoGrowMax), based on its contents.
 */

FCKAutoGrow = new Object();

FCKAutoGrow.MIN_HEIGHT = window.frameElement.offsetHeight ;

FCKAutoGrow.Check = function()
{
    FCKAutoGrow.RemoveOverflow();
    
    var delta = FCKAutoGrow.GetHeightDelta() ;
   if ( delta != 0 )
   {
      var newHeight = window.frameElement.offsetHeight + delta ;
      
      newHeight = FCKAutoGrow.GetEffectiveHeight( newHeight ) ;
      
        if ( newHeight != window.frameElement.height )
        {
            window.frameElement.style.height = newHeight + "px" ;

          // Gecko browsers use an onresize handler to update the innermost
          // IFRAME's height. If the document is modified before the onresize
          // is triggered, the plugin will miscalculate the new height. Thus,
          // forcibly trigger onresize. #1336
          if ( typeof window.onresize == 'function' )
          {
             window.onresize() ;
          }
        }
   }
}

FCKAutoGrow.CheckEditorStatus = function( sender, status )
{
   if ( status == FCK_STATUS_COMPLETE )
   {
      FCKAutoGrow.Check() ;
   }
}

FCKAutoGrow.GetEffectiveHeight = function( height )
{
    if ( height < FCKAutoGrow.MIN_HEIGHT )
    {
        height = FCKAutoGrow.MIN_HEIGHT;
    }
    else
    {
        var max = FCKConfig.AutoGrowMax;
        if ( max && max > 0 && height > max )
        {
            height = max;
        }
    }
    
    return height;
}

FCKAutoGrow.GetHeightDelta = function()
{
   var oInnerDoc = FCK.EditorDocument ;

   var iFrameHeight ;
   var iInnerHeight ;

   if ( FCKBrowserInfo.IsIE )
   {
      iFrameHeight = FCK.EditorWindow.frameElement.offsetHeight ;
      iInnerHeight = oInnerDoc.body.scrollHeight ;
   }
   else
   {
      iFrameHeight = FCK.EditorWindow.innerHeight ;
      iInnerHeight = oInnerDoc.body.offsetHeight + 16;
   }

   return iInnerHeight - iFrameHeight ;
}

FCKAutoGrow.RemoveOverflow = function()
{
    var area = FCK.EditingArea;
    if (area)
    {
        var iframe = area.IFrame;
        if (iframe)
        {
            iframe.style.overflowY = "hidden";
        }
    }
}

FCKAutoGrow.SetListeners = function()
{
   if ( FCK.EditMode != FCK_EDITMODE_WYSIWYG )
   {
      return ;
   }

   FCK.EditorWindow.attachEvent( 'onscroll', FCKAutoGrow.Check ) ;
   FCK.EditorDocument.attachEvent( 'onkeyup', FCKAutoGrow.Check ) ;
}

FCK.AttachToOnSelectionChange( FCKAutoGrow.Check ) ;

if ( FCKBrowserInfo.IsIE )
{
   FCK.Events.AttachEvent( 'OnAfterSetHTML', FCKAutoGrow.SetListeners ) ;
}

FCK.Events.AttachEvent( 'OnStatusChange', FCKAutoGrow.CheckEditorStatus ) ;

Regards,

~ Simon