[KsassPeuk]

> ACSL is badly documented/hard to learn, and you really want the proprietary stuff for anything nontrivial.

That's interesting. What kind of documentation would you expect in addition to ACSL by Example and the WP tutorial?

What are the proprietary components that you miss the most?