I would not mention it, people who are not members read this forum and you are just pointing them to it, not everyone is nice enough to avoid a name because you ask them to, silence is golden
To be honest, I probably wouldn't mention it. It's a users responsibility to look over the drop lists and see what is going to become available. Just like it's their responsibility to register it and become the new owner