use the wayback machine for the docbook site that no longer exists