what a great news. hopefully Mint also makes alternatives to other GNOME applications.