I asked the mighty Google, and couldn't find anything like that. You could be right, of course. Do you have a link? I've even seen several others use the term verbatim.
edit: it would be nice to see some data aggregated and fed back into the community so that issues with some of the more popular JS packages like jquery could be fixed :)
Great to know you are liking the service. Cheers!