design documents for the SWI-Prolog website redesign