Search possibly bringing up wrong result

[TerryRitchie]

The mediawiki search is not very smart at all IMO, it first looks for page titles before doing a full text search and the fact that page titles are case sensitive makes it not better. We indeed have a page called "Type" and one "TYPE", but that's the only page which has two different spellings. I'll look to remove the "Type" page soon as it seems to be mostly redundant with the "Variable Types" page, I just have to make sure to let no death links to "Type" behind.

Thanks for looking into this. Every now and then I'll get personal emails from users of the tutorial that state they can't find the information they need in the Wiki. For some reason they always seem to miss the keyword reference links on the Wiki home page. Perhaps making them stand out a little more will help?