Add info about targeted PBT into the front page

Author: kostis

pages_src/index.md

@@ -2,8 +2,12 @@ Summary: The main PropEr page
 kate: replace-tabs-save on; replace-tabs on; tab-width 8;
 
 PropEr is a tool for the automated, semi-random, property-based testing of
-Erlang programs. It is fully integrated with Erlang's type language, and can
-also be used for the model-based random testing of stateful systems.
+Erlang programs. It is fully integrated with Erlang's type language,
+and can also be used for the model-based random testing of stateful systems.
+
+Recent releases of PropEr also contain support for targeted property-based
+testing, a powerful extension that brings techniques from search-based
+testing into property-based testing.
 
 To learn more about PropEr, see the [User Guide](/User_Guide.html).
 Afterwards, you can [download a copy of PropEr](/Download.html),