Since the extension works fine still on GNOME 42 (according to a manual test roughly but without notable bug), this indicates the support.
The only modification is to add version 42 into supported GNOME versions.
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?