src_Diagrams_Haddock_greenCircle.svg