Andrei POPESCU wrote: > Except that an HTML to RSS converter is is basically useless > by itself. Well, it is (would be) useful in my setting which thanks heaven includes other tools and programs :) -- underground experts united https://dataswamp.org/~incal