Which version is the correct one to run 1.1 or 1.2-dev

1.2-dev was an early released target mainly at developers but was proven to be very stable with major improvements so use that. This is the reason for the other issues you mention. We always welcome PRs :slight_smile: