Or should I go 11 > 12 > 13?
Edit: Thanks for all the replies. I asked this out of laziness and apparently trying this is not a lazy thing to do. I’m not Bilbo Baggins seeking an adventure. Will go with 11 > 12 > 13 way, though might stay at 12 for a while at this point. You know, lazy. :)
Well, if there are issues like even in normal upgrade, it’s better not to jump on a thing like this.
Still, it’s good to know that this is technically possible, though it’s not for a lazy person who just wants to update his server. Gotta check Debian changelog.