Yes, I know, and I completely agree. It was meant initially to be a pun, and nobody expected back then the library would eventually so much traction. Even worse

Yes, I know, and I completely agree. It was meant initially to be a pun, and nobody expected back then the library would eventually so much traction. Even worse, I personally was giving a talk in Vietnam a couple of years ago, and you can probably imagine that I felt like an ass. It has been discussed indeed, but unfortunately nobody volunteered yet to take the entire work of re-documenting everything and many other things that have to be done. But it's definitely something intended for the future.