downgrading polvo
Merge branch '2.23' of github.com:hi-res/theoricus into 2.23