add manual for the built-in dsl