I'm trying to install Eclipse based on the instructions here: https://tools.hana.ondemand.com/ and getting an error when trying to install tools from any version. Error is "unable to read repository at https://tools.hana.ondemand.com/2019-12/content.xml". It throws this error no matter what version of Eclipse I put into the URL. Trying to access that link in a browser displays a 404 error. I think something is wrong on the SAP side, anyone else seeing this too?