IQ doc again

[Erwan Jahier]

In the documentation for interactive queries, we can read:
	Note that you can also add new modules to the list of imports
        directly at the query prompt, by using a command of the form
	`["module"]', e.g. `["int"]'. 

Nevertheless typing `["int"].' at the query prompt doesn't work, whereas
typing `[int].' does.

It can be an error in the documentation or in the implementation.

I would say it is an error in the documentation (that I could fix myself while
I am at it).

-- 
R1.