d8fbf38808
Show "Extra options" as tooltip for the Tool Settings Extra Options item. Pull Request: https://projects.blender.org/blender/blender/pulls/117193