Oh yeah, that means we can update CinnaMimi's name too
awesome. Thanks! Didn’t know there was a name change to be done, thanks for the the sort of rad folks who do that!
