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.