Powering zynthians

It would be fun to argue the pros and cons of barrel connectors versus RJ-45s. If I had a ‘vote’ or my ‘druthers’ I’d go for a USB C connector, due to the power negotiation flexibility and possible use as a data connection to PCs-phones-tablets-etc. And of course, one of the many nice things about Zynthian is if you want change something, you generally can (with varying degrees of effort-trouble).

But, since we live in a (largely-arguably?) benevolent dictatorship, and we’ve been shown our future with a barrel connector and a switch (YAY!-amen-hallelujah-etc), I have a question:
What are the dimensions-specs for the power input? Is it intended to be the more or less standard barrel used on ‘most’ guitar pedals?

Here’s what we have so far from @jofemodo:
A very decent power supply circuit, that can be fed with DC voltage from 9V to 48V using a good & reliable “barrel” connector. And we found a very nice power connector with switch!

in

I did look for the design files in:

and did not see any V5 stuff yet. Has it gone out for {PCB Fab]-assembly-manufacturing already?

By the way and a bit off-topic, I am kind of amazed that by default the spell checker for this forum thinks “Zynthian” is misspelled!