I think it’s taken care of, it seems to have been the local music library. I deleted a big chunk from the iPad yesterday, and apparently it took a while to get it to show up in the settings. Now, in any case, only just under 2 GB are displayed … sorry, I was probably too impatient.
