Documentation: Preliminary docs on 'git notes merge'