Fixed doc about using PR-related aliases.