These should be moved into the plonk flavors or be specified in some other way (perhaps after #671?).
These should be moved into the plonk flavors or be specified in some other way (perhaps after #671?).