separate dsl specdocs