[sr-dev] git:master: cr: documentation extension related to the prime route behaviour (port r5898)