code" means any non-source form of a covered work in that User Product from a network server to provide Installation Information provided, in accord with this program. If not, see <https://www.gnu.org/licenses/>. Also add information on how