I'll strip and repost it.
EDIT: Done.
[div align=\"right\"][a href=\"index.php?act=findpost&pid=156572\"][{POST_SNAPBACK}][/a][/div]
This time the package manager reported about 2 MB usage instead of the 5-6 MB, as the earlier install.
I sent an email to the author of the site that makes this library available, asking about the included documents, and if they can be moved or removed.
The /doc folder is 2.62 MB when extracted to my windows box. I know the numbers don't add up above, but the pkg manager isn't always right.
Thanks again, I hope I can help in some way here, but I have very limited knowledge of Linux, programming, compiling, scripting, and all this technical stuff.