Hi dead-i
You're mistaken. My initial switch to paper-lantern was successful. And I was using it for a while. Only when I switched to x10x3 did I get stuck without a way to revert my theme.
And even if paper_lantern isn't supported, how do I go back to the default theme?