A SSD would have made an absolutely massive difference.
Source: I have clients that still have 2nd/3rd gen i5 systems running 3-4 GB of RAM with Windows 10 and they're tolerable solely thanks to SSDs. Swapping that much on a hard drive would just be painful to use.
Nobody should be interactively using a computer post-2018ish (whenever SSDs fell below $1/GB) that's booting and running primary applications off spinning rust. They're perfectly fine for bulk storage drives but anyone waiting for an operating system booting off one has wasted enough of their life in the last year to have paid for the SSD. Companies that wouldn't spend $100 on an upgrade are literally throwing money away paying their employees to wait on a shit computer.