Closed moritz closed 4 years ago
@moritz LGTM, and I agree with @JJ's suggestion re: the rename
added the rename as well, merging now...