> if the regime is actually somehow magically removed I don't think attacking Israel would be a high priority
Attacking Israel hasn't been a high priority for Iran. When Israel bombed an Iranian consulate, Iran referred it to the security council and waited, but the security council took no action. When Israel carries out an assassination within Iran, Iran did the same thing. Only after the UN refused to do anything to hold Israel to account did Iran retaliate. Then recently Israel launched a massive series of strikes against Iran, assassinating top members of its military and blowing up apartment buildings. It seems clear that the Iranian government didn't want to go to war with Israel, but at a certain point they ran out of options.
First letter: https://digitallibrary.un.org/nanna/record/4043282/files/A_7...
Second letter: https://digitallibrary.un.org/nanna/record/4055716/files/S_2...
> Attacking Israel hasn't been a high priority for Iran.
It is interesting that you made no mention of Hezbollah in Lebanon, Hamas in Gaza, not Houthi in Yemen. All are well-known proxies for Iran to militarily harass Israel. They all receive direct funds and weapons from Iran.
Do you like it when people quote you out of context? https://news.ycombinator.com/item?id=44342393
[0] https://www.economist.com/interactive/trump-approval-tracker
One data point I heard recently was 80% of Iranians oppose the current regime. That said I've also heard there is wide support for Iran to have a nuclear program. Presumably as a matter of national pride. I would still imagine the secular population to be less inclined to go to war with Israel in general.
The only Iranians I've personally talked to are ones that live in the west. They generally want to have peace with Israel and want to see the regime removed. Again very anecdotally they are still not happy about Israel bombing Iran but if the regime is actually somehow magically removed I don't think attacking Israel would be a high priority for a hypothetical secular or democratic regime.