##### 3.1.5.3 Dots in `TikZ/PGF`

`TikZ/PGF` does not have a `dots` command as does PSTricks. Instead, `Sketch` emits dots as `filldraw` circles. The diameter may be set using the option `dotsize` borrowed from PSTricks. The `dotsize` option will be removed from the option list in the output `filldraw` command. Other options work in the expected way. For example, `fill` sets fill color and `color` sets line color of the circles.