Richard W.
As a matter of fact I have. I've run across it 2 or 3 times including on stone walk ways. If it is the same thing I'm thinking about, this is some very paculiar and essentric stuff. I don't know what it is, but you sound as if you took care of it the same way I had too.
There is a couple of things I would suggest for you in the future.
First off, work on it as much as you can until you feel it's time to let up, then let the concrete dry. Providing it is not in an open area where it is easily seen, Come back after it dries and then apply the 12.5% or the ultra clorox scented or ultra advantage, which has the sodium hydroxide in it. This gives you a straight concentration of your chemical which believe it or not, works a fraction better. Sometimes a fraction better is all it takes. If it works your ok. If it shows only a little change, you may have to spray it and let it set overnight to get the results on a test area. This is what I have had to do on the stone work because of the stones being so soft. Also put some spray easy off oven cleaner and some spray Barrymans B-12 from your Auto store in your chemical arsenol for emergencies. Sometimes you need things like this when there is simply nothing else that will work. Just remember there is no limit to the types of things you can try for this stuff. Since I have an imagination, a 3500 psi washer, a great turbo nozzle and an enormous amount of chemicals to choose from, there are not to many things I can't whip. Sometimes it just takes an incredible amount of time to beat it and that can cost you a lot of money if your on a submitted hourly bases. I just recently bought a wet sand blaster for about half the price everyone else is paying for it and it is super cool. It's a little dangerous but fun.
Please let me know if you ever have anymore problems with something unique.
Please forgive me for saying so, but I'm glad it was you that had the problem and not me. It makes me nervous every time I'm challenged with a new problem like that.
I am really sorry I didn't catch your post earlier enough to help.
Happy Thanks Giving to You and Your Family.
Richard R.