Removed dedicated doc on Apple Silicon as it is properly supported now (#58)

Author: volkm

_posts/2023-06-13-version.1.8.0.md

@@ -8,7 +8,7 @@ tags: ['new version']
 We are happy to announce the next stable releases of Storm and stormpy in version 1.8.0.
 <!--more-->
 
-Storm 1.8.0 provides revised implementations of value iteration algorithms and its variants, improved and novel algorithms for POMDPs as well as experimental support for [compiling on Apple Silicon]({{ '/documentation/obtain-storm/apple-silicon.html' | relative_url }}).
+Storm 1.8.0 provides revised implementations of value iteration algorithms and its variants, improved and novel algorithms for POMDPs as well as experimental support for compiling on Apple Silicon.
 
 The Python bindings [stormpy](https://stormchecker.github.io/stormpy/) are also released in a new version which is compatible with the new Storm release.
 

documentation/obtain-storm/apple-silicon.md

@@ -58,9 +58,6 @@ You need to download and install Xcode or its command line tools (CLT) to have t
 
 Furthermore, we recommend the usage of [Homebrew](https://brew.sh){:target="_blank"} to install the missing packages.
 
-{:.alert .alert-danger}
-For troubleshooting building on ARM-based <i class="fa fa-apple" aria-hidden="true"></i>  Apple Silicon CPUs and for building using x86 emulations, please refer to [this page](apple-silicon.html){:.alert-link}.
-
 - Required:
 ``` console
 $ brew install automake cmake boost cln ginac gmp

documentation/obtain-storm/dependencies.md

@@ -37,8 +37,6 @@ We list common issues for specific operating systems.
   $ open /Library/Developer/CommandLineTools/Packages/macOS_SDK_headers_for_macOS_10.14.pkg
   ```
   For more infos see this [GitHub issue](https://github.com/neovim/neovim/issues/9050#issuecomment-424417456).
-  
-- Additional steps and common issues for ARM-based Apple Silicon CPUs are outlined on [this](apple-silicon.html) page.
 
 ## File an issue