I think the best lens out of all of those is probably the K 20 f4 but each has their own caveats. The issue is space; while I agree that the M 20 has some issues, space (and weight, to a degree) is a real challenge. I need to find space for three primes and a mini-tripod in a kit that will be carried on a motorcycle journey. Here's a picture of me on my current motorcycle on the last big trip I made;
Space is at such a premium that I cannot justify "big" lenses like the K 18 3.5 just can't buy its way onto the trip. Capturing night skies and other scenes, to me, calls for something wider than a 24 on film, so here I am looking for options. The M 20 f4, an M 35 f2.8, and M 85 f2 are the leading options. If I was okay with a lens that took up more space, the Tamron 17 SP I already have would be in there, and I would try to find a way to get a protective filter wedged onto the thing without the use of a hood.