diff --git a/documentation/index.html b/documentation/index.html
index 4ec76b4..19b700b 100644
--- a/documentation/index.html
+++ b/documentation/index.html
@@ -1 +1 @@
-<!doctype html><html lang=en><head><title>tapaal.net: Documentation</title><link rel=stylesheet type=text/css href=/css/style.css media=screen><link rel=icon href=/images/favicon.png type=image/png></head><body><div id=header><div id=title><img src=/images/tapaal.png alt> &nbsp;TAPAAL</div><div id=menu><ul id=nav><li><a href=/ title=Introduction onfocus=blurLink(this);>Introduction</a></li><li><a href=/features/ title=Features onfocus=blurLink(this);>Features</a></li><li><a href=/screenshots/ title=Screenshots onfocus=blurLink(this);>Screenshots</a></li><li><a href=/download/ title=Download onfocus=blurLink(this);>Download</a></li><li><a href=/documentation/ title=Documentation onfocus=blurLink(this);>Documentation</a></li><li><a href=/about/ title=About onfocus=blurLink(this);>About</a></li></ul></div></div><div id=content><div id=right><div class=post-content><h1 id=user-documentation>User Documentation</h1><p>For new users starting with TAPAAL, we recommend to run TAPAAL and open the following net <a href=http://download.tapaal.net/fileadmin/download/resources/intro-example.tapn>intro-example.tapn</a> (the net can be open from files - Examples Nets - intro-example) which will explain the main modeling features and verification possibilites. After that you are welcome to solve the following <a href=http://download.tapaal.net/fileadmin/download/resources/tapaal-exercises.pdf>TAPAAL exercises</a>.</p><h2 id=user-manual>User Manual</h2><p>We currently do not have an up-to-date user manual and are in the progress of creating a new documentation website. If you have the time and/or energy, we are happy to accept contributions to your new online documentation site.</p><ul><li><a href=https://docs.tapaal.net>docs.tapaal.net</a> (Work-in-progress)</li></ul><p>Until the new site is ready you might also find these resources helpful:</p><ul><li><a href=https://github.com/TAPAAL/tapaalusermanual/tree/master/manuscript>old manual</a> (Pre TAPAAL v 2.0)</li></ul><h2 id=ask-questions>Ask Questions</h2><p>You can find a list of as on our github discussions page:</p><ul><li><a href=https://github.com/orgs/TAPAAL/discussions>TAPAAL Discussions</a></li></ul><p>If you have any problems, please look and/or ask on <a href=https://github.com/orgs/TAPAAL/discussions>TAPAAL Discussions</a> where both users and the development team will answer questions.</p><p>You are also welcome to contact the development team directly on email: <a href=mailto:tapaal@cs.aau.dk>tapaal(at)cs.aau.dk</a>. Notice that we might not be able to answer every request but do read all e-mails.</p><h1 id=developer-documentation>Developer Documentation</h1><p>All relevant development documentation can be found at our <a href=https://github.com/TAPAAL/TAPAAL/wiki>github wiki</a></p></div></div><div id=left><div class=box><h1>News</h1><div class=news-latest-container><div class=news-latest-item><h2>2024-08-06 - <a href=/news/mcc24-three-gold-medals/>TAPAAL gets back 3 gold medals at MCC&#39;24</a></h2></div><div class=news-latest-item><h2>2023-05-10 - <a href=/news/mcc23-one-gold-medal/>TAPAAL wins a gold medal at MCC&#39;23</a></h2></div><div class=news-latest-item><h2>2023-02-24 - <a href=/news/tapaal-3.9.5/>TAPAAL 3.9.5</a></h2></div><div class=news-latest-item><h2>2023-01-24 - <a href=/news/tapaal-3.9.4/>TAPAAL 3.9.4</a></h2></div><h2><a href=/news>More news</a></h2></div></div><div class=box><div style=font-size:.8em>TAPAAL (Aalborg University)<br>(c) 2008-2022</div><div style=font-size:.8em><a href=https://github.com/TAPAAL/www.tapaal.net/blob/master/content/documentation.md>Edit this page</a></div></div></div></div></body></html>
\ No newline at end of file
+<!doctype html><html lang=en><head><title>tapaal.net: Documentation</title><link rel=stylesheet type=text/css href=/css/style.css media=screen><link rel=icon href=/images/favicon.png type=image/png></head><body><div id=header><div id=title><img src=/images/tapaal.png alt> &nbsp;TAPAAL</div><div id=menu><ul id=nav><li><a href=/ title=Introduction onfocus=blurLink(this);>Introduction</a></li><li><a href=/features/ title=Features onfocus=blurLink(this);>Features</a></li><li><a href=/screenshots/ title=Screenshots onfocus=blurLink(this);>Screenshots</a></li><li><a href=/download/ title=Download onfocus=blurLink(this);>Download</a></li><li><a href=/documentation/ title=Documentation onfocus=blurLink(this);>Documentation</a></li><li><a href=/about/ title=About onfocus=blurLink(this);>About</a></li></ul></div></div><div id=content><div id=right><div class=post-content><h1 id=user-documentation>User Documentation</h1><p>For new users starting with TAPAAL, we recommend to run TAPAAL and open the following net <a href=http://download.tapaal.net/tapaal/resources/intro-example.tapn>intro-example.tapn</a> (the net can be open from files - Examples Nets - intro-example) which will explain the main modeling features and verification possibilites. After that you are welcome to solve the following <a href=http://download.tapaal.net/tapaal/resources/tapaal-exercises.pdf>TAPAAL exercises</a>.</p><h2 id=user-manual>User Manual</h2><p>We currently do not have an up-to-date user manual and are in the progress of creating a new documentation website. If you have the time and/or energy, we are happy to accept contributions to your new online documentation site.</p><ul><li><a href=https://docs.tapaal.net>docs.tapaal.net</a> (Work-in-progress)</li></ul><p>Until the new site is ready you might also find these resources helpful:</p><ul><li><a href=https://github.com/TAPAAL/tapaalusermanual/tree/master/manuscript>old manual</a> (Pre TAPAAL v 2.0)</li></ul><h2 id=ask-questions>Ask Questions</h2><p>You can find a list of as on our github discussions page:</p><ul><li><a href=https://github.com/orgs/TAPAAL/discussions>TAPAAL Discussions</a></li></ul><p>If you have any problems, please look and/or ask on <a href=https://github.com/orgs/TAPAAL/discussions>TAPAAL Discussions</a> where both users and the development team will answer questions.</p><p>You are also welcome to contact the development team directly on email: <a href=mailto:tapaal@cs.aau.dk>tapaal(at)cs.aau.dk</a>. Notice that we might not be able to answer every request but do read all e-mails.</p><h1 id=developer-documentation>Developer Documentation</h1><p>All relevant development documentation can be found at our <a href=https://github.com/TAPAAL/TAPAAL/wiki>github wiki</a></p></div></div><div id=left><div class=box><h1>News</h1><div class=news-latest-container><div class=news-latest-item><h2>2024-08-06 - <a href=/news/mcc24-three-gold-medals/>TAPAAL gets back 3 gold medals at MCC&#39;24</a></h2></div><div class=news-latest-item><h2>2023-05-10 - <a href=/news/mcc23-one-gold-medal/>TAPAAL wins a gold medal at MCC&#39;23</a></h2></div><div class=news-latest-item><h2>2023-02-24 - <a href=/news/tapaal-3.9.5/>TAPAAL 3.9.5</a></h2></div><div class=news-latest-item><h2>2023-01-24 - <a href=/news/tapaal-3.9.4/>TAPAAL 3.9.4</a></h2></div><h2><a href=/news>More news</a></h2></div></div><div class=box><div style=font-size:.8em>TAPAAL (Aalborg University)<br>(c) 2008-2022</div><div style=font-size:.8em><a href=https://github.com/TAPAAL/www.tapaal.net/blob/master/content/documentation.md>Edit this page</a></div></div></div></div></body></html>
\ No newline at end of file
