Add te functional specification to the doc section