Document ^context=xyz module protocol extension