Is this the proper way to get a taxonomy description into a post template?

The more proper API way would be using term_description() template tag. It’s same in principle as accessing property, but with proper filters and stuff.

Since term lists are usually focused on names, I can’t anything that would iterate and list descriptions in one step.