That Redditor has -5 karma. Also that idea makes pretty much zero sense when it's a matter of a couple of days to implement a simple RISC-V core from scratch.

I would not rely on that information.

It does, however, have the same external interface as Microblaze and hardware wise is a drop in replacement in existing designs.