User can now choose to export dummies in DOT format.