Whether people love or hate the hot corner depends in large extents on hardware sensitivity and habits, which is hard to get right universally. So bite the bullet and add an option to enable or disable hot corners ...

https://bugzilla.gnome.org/show_bug.cgi?id=688320

Marking as WIP as the bugzilla discussion hasn't concluded yet