lex.html ==> spec.html

It's better to 'spec.html' than directly linking to 'lex.html'