Once again, thank you for your continued assistance. Your feeling is correct, I didn't work with micro-controllers in the bare-metal sense. I do have Arduino boards and many shields that I did projects with using the provided IDE. When you say "work your way up to bare metal ARM-Cortex Mx programming", do you mean using the Arduino or some other board? Also, does the "x" matter (i.e. should I choose the "x" carefully or would anything be good at this stage)?
Oh, with Arduino experience under your belt you are already somewhat proficient.

On the ARM-Cortex Mx it does not matter which one. The STM32F411 is M4 while the STM32F103 is M3, and your Atmel SAM V71 is M7. The PSoC 4 is M0.
With these two you are well stocked to undertake some bare metal adventure.
I checked the STM32F411-based board but AliExpress said it was not available to me (I hate the new "unavailable" policy where the item is not shown at all rather than showing the item and saying it's unavailable in a given region). I was able to see the details through VPN connection. I think I can find that one or something similar here. I also just checked my stash and besides various Arduinos and shields, I found an Atmel SAM V71 evaluation kit and a Cypress CY8CKIT-049-42xx PSoC 4 prototyping kit. Would these be helpful or should I try to find the STM32F411-based board?
Yeah this Aliexpress dedicated country policy is not nice for sure, but what can one do about it.

I just mentioned the STM32F411 as it is a nice MCU that I use myself at the moment. I did not find a lot of listings on Aliexpress, but if you search for "STM32F411 board" you might find some that can be delivered to you. Within the STM32 range of MCU's the used peripherals don't differ that much, which makes it easier to write code for another one out of the range once one already wrote some for another one.
For going bare metal both of your boards are suitable, but a thing with bare metal is that one likes to start at the reset vector which is a bit bother some when a boot loader is involved. Some will state that bare metal is just about using the bare registers of the MCU and the peripherals though, but for me is is about owning the complete MCU, and this not in the material sense.
To put things in perspective with the Arduino environment, my bare metal work begins with setting up the vector table, a reset handler and then the main function, where as the Arduino environment hides all of this from you and gives you the setup() and loop() functions to work with. I'm also void of using standard libraries, which some would mark as foolish, but makes debugging completely about your own code.
In my case, when I build, it results in a binary (or .elf file containing the binary) that needs to be written to the start of the FLASH in the MCU. There are a couple of options to get this done. What I use is a JTAG or SWD programmer to write the binary to the FLASH. I can also debug the code with this tool. An other option is to make use of the build in programming code of the MCU. For this one has to select another boot mode and reset the MCU to start this code. The binary can then be send to the MCU via some interface between the PC and the MCU. Options are USB, UART, I2C, CAN, etc. Whatever the chosen MCU supports.
With Arduino the code is loaded via the bootloader which means that it has to be build to run from another location in the memory, so the linker setup has to be different.
Another difference between Arduino and what I do, is that in my case the MCU directly runs my code after startup or a reset. In the (standard) Arduino case the bootloader starts first and checks if there is a host connection that wants to load new code, and if not then your code is started. So there is a small delay.
There are many possible work flows though and each will have it's own preference on how to do things.
For your boards you need to check the documentation as to what is possible.
That ex-miner-controller Zynq 7010 board still looks attractive for future consideration. Aliexpress items tend to become unavailable to us shortly after being available so I am still thinking about ordering it. It's just $20 (+60% tax) so it won't break the bank. I just read its reviews and saw that some people got damaged or scrap-looking boards that have quite bad rework done. Was yours in OK condition?
I bought a couple of them in 2020, but the links on Aliexpress result in a 404 page. I'm a bit of a hoarder on these kind of items. I see something like this and think "oh that is nice, can use that for some project" and buy a couple to have stock. There are still several listings of the same board though and searching for them might even result in a better deal for you. Searching for "zynq development board" results in a large list with all sorts of boards in different price ranges.
My boards arrived in good order, but when something arrives that is defective one can always start a refund dispute to get your money back. Provide photos of the defective item and good motivation on what is wrong. You might have to send it back, which probably is free of charge, and in the end get your money back. (Your experience might differ due to other local regulations though)
I have to say that for you in your country it seems quite strict and tax on these things to be super high. 60% feels like legalized theft. Here in France (I'm Dutch but live in France) it is "only" 20%, and already included in the prices I see on Aliexpress.