> Don’t you just file a report online?

Often hard to do in a foreign country.

But yeah, not sure who bothers to report a stolen phone. I think it’s rather unusual for phone insurances to require a police report.