Write "properties button" with tags
The text on https://gitlab.gnome.org/GNOME/seahorse/-/blob/master/help/C/pgp-retrieve-remote.page#L55-60 speaks about properties button found at the top of the dialog
.
I don't see such a button.
But if it does exists i guess properties button
should written with tags and big starting letter. Maybe something like:
<gui style=\"button\">Properties</gui> button
Or if the text is outdated, update the text.