Xiaomi TV Stick 4K 2nd Gen only 5.1gb storage?

Wait 5 sec.

That's what file explorer apps show, and this product is advertised as 8gb. What gives?