That's a great idea.
You can also upload the file directly to this site if you want too. This will make it easier in case the links don't exist at a later stage.
You can upload them to here:
http://www.mympxplayer.org/uploads-by-members-dc20.html.
I will then put it in the right section dedicated for Rockchip firmware only.