I recently committed some "improvements" to InsetCitation, designed to display things like:
G\"odelusing the corresponding unicode. It has now occurred to me, though, that this can cause problems with searching, since one will now need to search not for G\"odel but for something else. I'm not sure what to do about this, but I'm inclined to think I may need to revert this and redo it in such a way that it won't affect search. Does this seem right?
Richard