- From: Bjoern Hoehrmann <derhoermi@gmx.net>
- Date: Fri, 25 Oct 2002 12:23:40 +0200
- To: Terje Bless <link@pobox.com>
- Cc: W3C Validator <www-validator@w3.org>
* Terje Bless wrote: >Bjoern Hoehrmann <derhoermi@gmx.net> wrote: > >>When trying to validate from http://validator.w3.org:8001/detailed.html >>I got a "tip" that points at http://www.w3.org/Provider/Style/URI ^^^^^ >> >>That's a rather surprising tip, since the document tells information >>providers to omit file name extentensions from URIs, something the >>validator does not do for it's documents :-) > >You've been talking to sbp and AaronSw haven't you? :-) Not this time, no. >This is a known issue which will be addressed at some point. But do note >that the "Tip of the Day" feature points at tips defined outside of the >Validator itself. The correct venue for feedback is outlined at ><URL:http://www.w3.org/2001/06tips/#process>. I was complaining about the Validator using file name extensions, not about the appearance of the tip or the tip in general.
Received on Friday, 25 October 2002 06:23:29 UTC