Rename "Insert > Float > Figure Wrap Float" to drop second "Float"?

[Richard Kimberly Heck]

On 11/23/22 12:13, Jürgen Spitzmüller wrote:
> Am Dienstag, dem 22.11.2022 um 20:41 -0500 schrieb Scott Kostyshak:
>> Would it make sense to rename the menu item "Figure Wrap Float" to
>> just
>> "Figure Wrap" since it is in the Insert > Float menu?
> Or "Wrapped Figure"? Figure Wrap sounds odd to me.

Yes, very good.

Riki