Has anybody tried the "Global optimized GPS File Replacer" Magisk's module? Would it make any improvement or is that setting already included on Xiaomi.eu?