Re: New website released!

[Krux02]

Well, when you say that GC is optional, you should say that disabling it pretty 
much makes the types seq and string unusable, and therefore the GC is not 
really optional.