Is there a way to batch transfer <a href> into [sound:]?
Basically, I have a lot of audio files that are embedded in the html and all of them are in the format of <a href="XXXXXX.mp3">, and I 'd like to change these into [sound:XXXXX.mp3] since I found out the former would interrupt music playing on iOS.
Select the notes, search for <a href="and replace it with [sound: then search for mp3"> and replace it with mp3]. (Make sure, there are no other links starting with <a href=").
You can also do this in one step, if you use regular expressions (Regular expression - Wikipedia) with the regular expression option enabled in the dialogue.