@thorin
Can someone post here if docs are updated and/or launching from GNOME file manager works again?