In iPadOS, Logos Pro, how do we delete permanently ALL the notes in the Trash? I have 247, but amn’t inclined to delete them one-by-one.