Thanks Henrik (and Jorgen).
It could be interesting also in the demos (“Features”) to add a comment discussing why these features are not already in dolfinx. For instance with the real function space I understand there may be issues with respect to performance in large systems (the matrices become dense), though I don’t understand well how serious the issue is myself.