NicoHood [1] filed a deletion request for gnome-shell-extension-no- topleft-hot-corner [2]:
This package is obsolete now, as the gnome tweaks tool provide an option to disable the hot corner. You could also use dconf if you wish. The gnome tweaks setting is under Top Bar -> Activities Overview Hot Corner (First entry).
[1] https://aur.archlinux.org/account/NicoHood/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-no-topleft-hot-corne...
Request #19061 has been accepted by polyzen [1].
aur-requests@lists.archlinux.org