Just download directly from https://download.osmand.net/rawindexes/
I could do it for them myself, but then they wouldn't be able to recommend the tool to their friends in turn - which is my litmus test for any open source software intended for end users.