Documentation of directive priorities

This fixes issue #2644.