now under the evbppc port) Note, have not touched the set lists yet, as I would like to preserve the manpages.