VLCMediaFileDiscoverer.m: VLC won't detect a directory added through Files.app until it gets restarded
On an iPad, open side-by-side VLC and Files.app
In Files.app, go to VLC's directory.
Paste a directory containing some media.
directoryDidChange is not fired.
This does not happen neither with deletion nor addition (of files only).
Adding a breakpoint or a
directoryDidChange will get
This also occurs when adding a directory with iTunes or Catalina's Finder.