Edited with the link to their website, according to the FAQ

Will there be a 5.25" or 2.5" version?

PicoIDE will launch with a 3.5" enclosure only, but depending how things go, other form factors may be made available.

So it sounds like it could be coming, plus it’s open source so you or someone else could modify the enclosure print to be bigger