Other missing stuff (Re: emacs Erlang mode)

[Bijan Parsia]

Hello:

It looks like Jive may not have made it into the Linux distribution either.
At least, I had to pull my current copy out of my older installation.

I notice that the Java api docs link is broken viz:

	http://www.erlang.org/doc/doc/lib/jive-1.2/doc/javadoc/Package-jive.erlang.htm
Cheers,
Bijan Parsia

P.S. It would be nice to have the Erlang Extensions docs in HTML again, as
well as pdf.