Different free storage space reported in the Files app and in Settings → iPad Storage
Solution (kind of): delete the files app, and then install it from the app store. That made it report different storage usage, that was more in line with what's under settings → general, which is close to what I needed.

Of course it's a workaround, and make sure you back up your important stuff before proceeding.