Search possibly bringing up wrong result

[RhoSigma]

The old redundant mixed case "Type" page is eliminated now, only the all upper case "TYPE" which is about user datatypes exists now, so it will be found when searching for "type".

All links pointing to the old "Type" page are redirected to the "Variable Types" page now.