anchor.diff:  
   == 1. Quick start guide [[sec_quickstart]]
   This guide discusses how to setup, test and benchmark the FELTOR library
  -installation.
  -We then present how to use the software package,
  +installation. Please read it before you proceed to the https://feltor-dev.github.io/tutorial/[online tutorial] to learn how to use the library in your own programs.
  +We also present how to use the FELTOR software package,
   which requires additional external libraries to be installed on the system.
  -[TIP]
  +____
   The first part assumes a Linux operating system. If you want to work
  -on Windows jump to <<sec_windows,Using Feltor on Windows>>
  +on Windows, jump to <<sec_windows,Using Feltor on Windows>>.
  +____
   
   === System setup
   
  
positive.code: You can add your Feltor Property Sheet to any new project
   by switching to the `Property Manager` again:
  click `Add Existing Property Sheet` and select `FeltorPropertySheet`.
  [TIP]
   We suggest that you generate a new project for each executable program.
  
  ===== Basic test
  In order to test the Feltor Property Sheet let us add a source file to
  
negative.code: git clone https://www.github.com/feltor-dev/vcl
  ----
  
  ____
  Our code only depends on external libraries that are themselves openly
  available.
  ____
  
  .System requirements [[tab_requirements]]
  
  