Delete openETCSArchitectureAndDesignSpecification.synctex.gz