Pošalji zapis e-poštom: Design Overview of the MIT 1.3-GHz LTS/HTS NMR Magnet with a New REBCO Insert