# Last edited on 2024-04-03 16:41:13 by stolfi

# SVG files that triggered a bug in the Ubuntu(?) SVG rendering routines