diagrams: update top-level documentation of the SML model
dia: fix linking issues in specs