IMO it should generate something like: "0 0 * 1-11 SUN#2"
The "#2" bit is not standard cron syntax though and will not work correctly in e.g. Debian cron.
Wasn’t aware of the SUN#2 syntax. I find it interesting it used 8,14 as its best approximation. You can see it trying it’s best.