Are the dot attribute values 'width=0' and 'height=0' valid?
According to the current graphviz documentation https://graphviz.gitlab.io/_pages/doc/info/attrs.html there are restrictions for the minimum value for the width (0.01) and height (0.02) attributes. However, I often meet graphviz dot graph definitions, where the width and height attributes are set to 0, especially in combination with the shape=none or shape=plain attribute values.
graph { 1 [shape=none width=0 height=0] 2 [shape=plain width=0 height=0 label=""] }
See also: graphviz#1334, graphviz#1337
Could you please update the documentation of the 'width' and 'height' attributes' minimum value to 0 ? Thank you very much in advance!