H. G. Muller wrote on Sun, Jan 1, 2023 09:54 PM UTC:
Almost all pieces from the 'small' set are now available as SVG, in /graphics.dir/utrechtSVG .
Perhaps we should take the opportunity to better organize the file system? I think it would be better if all SVG pieces resided in a directory /graphics.dir/svg/<setname>/ , rather than just slamming a suffix SVG on the setname. Once the images are in common use it would be too late to do that.
Almost all pieces from the 'small' set are now available as SVG, in /graphics.dir/utrechtSVG .
Perhaps we should take the opportunity to better organize the file system? I think it would be better if all SVG pieces resided in a directory /graphics.dir/svg/<setname>/ , rather than just slamming a suffix SVG on the setname. Once the images are in common use it would be too late to do that.