Added index4.html, reflecting latest F2F version 

and added implementation feedback. Added diagrams in LibreOffice format.
index4.html serves as staging version for this review. If accepted, becomes the main version of the specification.