Import MIDI file from Internet

(The following steps use a Google drive url for example. Other types of url should start from the 6th step.)