I notice at the download page that as at version 25.8 it is no longer possible to select to download a 32-bit version. So, has 32-bit been completely dropped as from 25.8?
No it is not dropped completely - as of 25.8. However, we are going to drop it in the next version (26.2).
For now, 32-bit releases are still available in the download archive.