I see that the changes are live now, thanks.

However, the HTML manual for version 1.4.0 still uses the old paths, so 
the style is currently broken (not horribly broken but still).

I'm not sure if the pending actions that require maintainer intervention 
would fix this, so I'm investigating in the meantime.

(I hope I can help make the Texinfo's HTML versions of the manual easier 
to theme soon)