2 is already there!

Type / (slash) to open the search dialog. Then the "n" key allows to move the highlight to the next occurence.

You can also Search & Replace:

type ":" (colon) to open the dialog (on the bottom)

Then you can do:

:%s,word1,word2,g

If you want to rename state names only, you can do:

%state,state1,STATE1,g (the search pattern is case insensitive)

It works for all symbols:
state
input
output
procedurecall
task
...

to allow renaming only specific parts of the model

The search pattern can be a regular expression for both Search and Search&Replace features.

Thanks for the hint about point 2. Neat!

Is there an OpenGeode user manual that I've missed? I seem to be raising a lot of tickets about things that are already supported :(

No, there is no user manual.
This "vim"-like search & replace is mentionned on www.opengeode.net in the list of features, but admittedly it is not obvious to spot :-)

BTW I have noticed that the search function does not find things declared in FPAR blocks.

.3 and .4 are fixed in 2.0.34

the column for the types is now large enough by default to fully display the types, and the windows geometry is saved/restored when you quit the tool

I do not understand the comment about the FPAR blocks. FPAR declaratiosn are in standard text boxes. the Search looks into them (however it does not point precisely at the place where the text is found in the box, which is not very helpful if there is a lot of text).

.5 is addressed in 2.0.35

When you edit text and move the cursor on a variable, this variable will be highlighted in the data dictionary on the right (therefore you'll get its type)

I'll extend this to other items of the data dictionary, but the basic feature is implemented.

It seems that the highlighting in the data dictionary only works if you make an edit. It does not appear possible to highlight the variable name and see its declaration, you have to actually change it.

.1: partitions are now supported.
All requested features are now in. Closing ticket!