[libreoffice-website] Missing extension on http://libreplanet.org/wiki/Group:OpenOfficeExtensions/List

Not sure whether this is the right place to send this.
The place you are guided to, when clicking on "Get more extensions 
online..." in the Extension Manager Dialog leads to
http://libreplanet.org/wiki/Group:OpenOfficeExtensions/List.

If I understand correctly only truly open source licensed extensions are 
listed there. However one important and known extension is missing: 
Bookmarks Menu.
It has no license specified but seems to be in the public domain.
http://extensions.services.openoffice.org/en/project/license/452 specifies:
"Bookmarks menu is based on the idea of Malte Timmermann's Favorites Menu.
http://wiki.services.openoffice.org/wiki/API/Samples/StarBasic/Office/Fa...
BookmarksMenu extension is distributed under the same license.
License: None - Treat this as sample code, feel free to reuse"

The code by Malte Timmermann is given at:
http://wiki.services.openoffice.org/wiki/API/Samples/StarBasic/Office/Favorites-Menu. 
It specifies:

"Programming Language: StarBasic
Author:               Malte Timmermann, 2006
License:              None - Treat this as sample code, feel free to reuse"

I interpret this as both pieces of software being in the public domain.
Bookmarks Menu is quite a good extension and has received some attention 
(e.g. http://www.heise.de/software/download/bookmarks_menu/64493). It 
would be a pity to exclude it from the LibreOffice extensions list.

I have checked it with LibreOffice  RC 3.3.0.4 and it seems to work.
Is there any hindrance to include it to the list of free extensions for 
LibreOffice?

Christoph

--
Unsubscribe instructions: E-mail to website+help@libreoffice.org
List archive: http://listarchives.libreoffice.org/www/website/
*** All posts to this list are publicly archived for eternity ***