Thanks George.
For forum records: I replied to this post to state that I find this information very important but very difficult to find. (And to point out the MATHLIB Wiki FAQ is empty).
I created a new thread (now closed) to discuss my specific MATHLIB efforts in order to avoid hijacking this thread.