Fork of the SeqAn repository under https://github.com/seqan/seqan