docs edits

Author: nkrusch

README.md

@@ -49,14 +49,9 @@ For more details, see pymwp [documentation](https://statycc.github.io/pymwp/), p
 ## Documentation and Demo
 
 * **Documentation:** [statycc.github.io/pymwp](https://statycc.github.io/pymwp/)
-
+* **Manual**: [Tool user guide](https://statycc.github.io/.github/pymwp) with detailed examples and discussion.
 * **Demo**: [online demo](https://statycc.github.io/pymwp/demo/) and [input examples](https://statycc.github.io/pymwp/examples/)
 
-* **Publication**: ["pymwp: A Static Analyzer Determining Polynomial Growth Bounds"](http://doi.org/10.1007/978-3-031-45332-8_14),
-also on [HAL](https://hal.science/hal-03269121v4/document).
-
-* **Tool user guide**: [statycc.github.io/.github/pymwp](https://statycc.github.io/.github/pymwp) with detailed examples and discussion.
-
 The user guide is the ideal place to start for a general and interactive introduction to pymwp.
 
 ## Installation

docs/modules.md

@@ -1,13 +1,13 @@
-# Technical Introduction
+# Modules Introduction
 
-At a high-level, pymwp reads a C file and produces an analysis result.
+pymwp works by reading a C file and producing an analysis result.
 
 ![pymwp workflow](assets/workflow.png){ width="700" }
 /// caption
 Fig. 1: pymwp workflow
 ///
 
-Under the hood, pymwp is built from various modules.
+Internally, pymwp is built from various modules.
 Each module has a specific role.
 For example, `Analysis` runs program analysis (i.e., the intermediate steps between parser and output in Fig. 1); 
 the `matrix` module contains matrix utilities, the `parser` is the front-end, etc.

docs/publications.md

@@ -2,7 +2,7 @@
 
 ## Preferred Citation Format
 
-To reference pymwp, use: 
+Refer to ["pymwp: A Static Analyzer Determining Polynomial Growth Bounds"](http://doi.org/10.1007/978-3-031-45332-8_14).
 
 ``` bibtex
 @inproceedings{aubert2023,
@@ -19,7 +19,7 @@ To reference pymwp, use:
 }
 ```
 
-The article is available without paywall [here](https://nkrusch.github.io/files/pymwp.pdf).
+The article is also available on [HAL](https://hal.science/hal-03269121v4/document).
 
 
 ## Published Works

mkdocs.yml

@@ -14,7 +14,7 @@ nav:
 - Demo: demo.md
 - Publications: publications.md
 - Modules:
-  - Technical Intro: modules.md
+  - Introduction: modules.md
   - Analysis: analysis.md
   - Bound: bound.md
   - Choice: choice.md