We've been tagging all questions about the avos (the patriarchs, viz Abraham, Isaac, and Jacob of Genesis) with avot-patriarch-fathers. Occasionally (two or three times in my memory) people have used specific tags for the individual avos; I've merged these into the main tag. But we have 67 avot-patriarch-fathers questions, a number of which are about one or two of the avos only/primarily, and people may want to search for questions about any one of the avos specifically. Plus, the fact that people keep adding tags for specific avos makes it seem likely that they'll continue to do so.
I therefore propose that we have four tags: avraham-avinu, yitzchak-avinu, yaakov-avinu, and avot-patriarch-fathers, with the latter used only for questions about the avos as a group or about all three equally. (There may be no questions for avot-patriarch-fathers then. I haven't checked.)
Please upvote/downvote this depending on whether you support this proposal; and offer alternatives in answers so people may upvote/downvote them.