By how much? Would it make sense for Dexter to support an entirely different distro for some nebulous performance increase?
Now, don’t get me wrong - I think experimenting with other distro’s on the GoPiGo is a great idea - that’s what the 'bot is there for - experiment away and share your successes AND failures so we all learn! Both @cyclicalobsessive and I, (along with many others), do this all the time. (Experimenting, that is, not “respinning distro’s” for the GoPiGo - that’s a horse of an entirely different hue!)
Sometimes there’s Fame and Glory, other times there’s Humiliating Defeat, but there is always the opportunity to learn. And that’s the joy - seeing an experiment FINALLY work out and seeing your 'bot “go where no 'bot has gone before” Especially after half The Known Universe tells you “it can’t be done!” or “On a 'Pi? Who are YOU kidding?!” The joy of thumbing your nose at all the nay-sayers and telling them “Read 'em and weep!” knows no bounds.
All I’m saying is that - though it’s an excellent idea, and I’d love to see what you can accomplish with that - expecting the folks at Dexter to do the work for you isn’t fair. They already have enough on their plates as it is.
BTW, do you know you can download the Raspbian for Robots code extensions for Raspbian? I know it’s available as a downloadable and installable kit of code. It may also be available in source-code form from GitHub, (they have a LOT of stuff there), and you may be able to cross-compile for Ubuntu.
I don’t know if you will be able to “apt-get” install it as a .deb, you can try and measure the amount of smoke that issues.
If you do manage to get it compiled-and-working on Ubuntu-for-Raspberry-Pi, I bet they’d love a pull request!
Go try it and let us know what happens. Seriously! I’m curious.