Place where libraries should go, removing older & what about additional files already in module library?

Issue Summary

I have to administer all these inside module libraries in a web-page to be able to keep track of them, like:
http://wi-ca.org/Inside_modules

...as nowadays the preferable way seems to be in:
/sites/all/libraries (what also avoids problems of old file remains or overwriting the libraries with a new module update)
http://wi-ca.org/All_libraries

But when looking into the latest 2.0-beta3, there are some other files in its libraries dir already; like old files and some files that are not part of the libraries download page:
* buttons
* icons.png
* sorttable.js
* whizzybrowse3.php
* whizzywig058.js
* WhizzywigToolbar.png

OK, I make a temporary librari dir first, to put the new "featured" files (plus additional files that were not older releases) from http://code.google.com/p/whizzywig/ =>

First I notice they all (except icons.png) have the addition .txt to its name. Although I don't immediately see instructions about this, I rename them without the .txt addition, getting:
* icons.png
* whizzed.php
* whizzybrowse3.php
* whizzywig.php
* whizzywig61.js
* several 'language'.js files

=> on copying/extracting the new files to the modules library dir =>

The 'new' "icons.png" on a standard install, will replace the 'old' one.

"buttons" is already in the modules library and strange enough is not part of any library download

Same for "sorttable"; its already in the modules library and not part of any library download

The 'newer' "whizzybrowse3.php" will replace the 'old' one

"whizzywig058.php" seems a forgotten remnant? (although it's not in the download list and reads "058" instead of "58") so I remove it

"whizzywig61.js" is the newest, replacing all the older (like the former I just deleted?)

"WhizzywigToolbar.png" is already in the modules library and not part of any download

So I get:
* buttons
* icons.png
* sorttable.js
* whizzed.php
* whizzybrowse3.php
* WhizzywigToolbar.png
* whizzywig.php
* whizzywig61.js
* several 'language'.js files

Was not sure how to classify this issue, but maybe some more consistency about what are libraries, where they should go and if all of them then should be in the library download instead of some only in the module dir? Plusmaybe some explanation if what i did with the files was correct and what for they serve?

Many thanks in advance, of-course also for the nice module & editor!