Push Id 3.42 (uses latest nscala)