>> > When are these files generated? At build time or the first time they are open?
>> They are generated at build time, often stored as a zip archive.
>
>We'll have it. One day...

I am testing the changes locally to make sure everything is ok. If I can I will push later today, otherwise tomorrow.
Same for the minimalist TDM theme.

Cheers
  Michele