The official workspace extension