As far as i can tell from the blogpost no they are not hard-coded. You need to install the different themes as extensions for the runtime your flatpaked...