Add URLs and substitute SPDX abbreviations in Appendix A.