Success! As per advice, I kept on it and kept scrubbing and running the pool vac. The algae dust was quite persistent and took more labor than I expected to get it cleaned up. But all good now and pool seems happy.
Thanks very much for the advice! This forum is super helpful, especially for...