CODING_GUIDE: point out that popd is obsolete.
Authored by: efiring 2007-03-01
Parent: [r3031]
Child: [r3033]
