User manual

Preface

Documentation integration (docs.php)

Local and remote documentation integration