Gravar-mail: Design Overview of the MIT 1.3-GHz LTS/HTS NMR Magnet with a New REBCO Insert