Thank you very much for the suggestions.
Where I live, the options available are very limited. Flagships readily available are only from Samsung, Huawei and Xiaomi; any kind of HTC phone or other exotic brands (except cheap chinas like Ulephone, Elephone, Wiko and the like) have nearly no presence.
When I bought my HTC 10, in the summer of 2017, the cheapest HTC 10 available in my country cost about 450 euros, and only one online shop had it for sale. I ended up ordering it from overseas, which cost me 380 euros with customs taxes. Currently, only another online shop has it for sale in borders, but now it costs over 550 euros ... A raise of 100 euros in two years, for a 2016 flagship??? The price should go down, not up!!!
About the Sony, I've had a Xperia M4 Aqua, the 8GB version. It was terrible, the stock OS alone took 7GB, had to install a custom ROM to remove some bloat, and even so it only ended up with about 2GB of free space. I was pretty much forced to install any app in the sd card, and even so the installation would take chunks of internal storage. When under 1GB of free space, it became unbearably laggy. I've been weary of Sony devices ever since. Also, as far as Sony phones go, over here, anything that isn't a Xperia is very hard to come by.
Surprisingly, I can find both Razer phones in here. Prices are over the roof, with the Razer 1 costing over 700 euros and the Razer 2 costing over 800 euros. But, I've found a few less known online shops, in borders, that sell them for less. A deal until the end of next week for the Razer 1, costs 350 euros (otherwise it was 500 euros), and another shop sells the Razer 2 for 500 euros. I wanted to wait until about August or something, before commiting, but these deals ... I'm still holding to the hope of, somehow, being able to fix my HTC 10, but I may be wasting time and effort on a dying phone ...