I just realized that Google silently discontinued Android File Transfer, their official MTP connection tool for Android and Mac, last year (typical of Google’s lack of continuity).

I guess I’ll have to use third-party Macdroid instead.