Clarify the Aquilon documentation.

Based on some comments from @stdweird .