For those interested, there is a gnome extension called Wiggly that does this a similar thing.

Used to be called Wiggle, but development and bug fixing seems to have stopped on that one.