This milestone collects smaller fixes for bugs which we may find in v1.3.0 as well as for some small issues which weren't blocking v1.3.0 but should be fixed at some point.