I downloaded 5.4.7 for 32bit windows normally;
In the pull-down menu I chose the 64bit and
it took me to https://www.libreoffice.org.br
with a mis-matched SSL cert of course;
I did not download anything from there;
I don't think that was normal; I am just reporting this;
thanks,
F-