Shorter-wavelength extreme-UV sources below 10nm