one that is publicly documented (and with an implementation available to the public, and in connection with specific products or compilations that contain the covered work,