On Monday, Sep 1, 2003, at 12:38 US/Eastern, Gunnar Wolf wrote:
He might even be running vrms - and vrms will not complain about the non-free software he has installed!
Then file a bug report (on vrms). Perhaps it'd even be useful if installer packages somehow marked that they've installed non-free software, then vrms could look at that.