Bug#747188: closed by Jeremy Bícha (closing old GNOME Shell bugs)

[Drew Parsons]

Thanks. Confirming the bug seems to be fixed in Gnome 48.