GNOME3 compatible Dogtail on the way!