Rockbox Ports are now being developed for various digital audio players!
I installed from the RockBox utility and installed the themes from there.
The current release of rbutil seems to install the wrong theme version, but the SVN version and website give the updated themes:
Page created in 0.109 seconds with 21 queries.