Up until version 2023.d, the options for exporting to DSTV and STEP formats were found in the "Share" tool located in the BIMserver.center tool group.
As of version 2023.d, these options are also available from the "Export" button at the top left of the screen.
