for release 2023.12
Created by: dakkar
all the changes up to now (better: up to the commits shown in the script), plus the documentation on building themes (moved from an older PR)
might need updating if we release more changes, of course
Created by: dakkar
all the changes up to now (better: up to the commits shown in the script), plus the documentation on building themes (moved from an older PR)
might need updating if we release more changes, of course