Actually, this might be working. I rewired everything, and I'm now getting what looks to be actual GPS data through this. So, from initial appearances, the simple diode, resistor, and not gate converter does in fact work to convert RS-232 to TTL serial.
I'm going to do a little more testing, and I'll report how it goes. For now, here's a shot of the data I'm getting in: