Link to IQL-strict from the documentation Start Page

[cameronfreer]

The Start Page says:

Query language (IQL-permissive)

Research Query Language — aimed at PL researchers (IQL-permissive)

Presumably one of these (the second?) should be about IQL-strict and link to its documentation.