Another protocol repository merge attempt

[Alan Coopersmith]

On 12/14/17 11:25 PM, Keith Packard wrote:
> Given that the fonts we specify have free licenses; is there any problem
> with just including them in the repo? That would avoid all font issues
> when building the docs.

I can't think of any off hand - unlike including other software, it's not
like we're going to be exposing critical bugs or security holes if they're
kept in sync with upstream on a regular basis.

	-alan-