Improve with.specialization documentation

* Make documentation refer to itself using internal links, not to arbitrary trees on github
* Some improved formatting
* Make links to running demo app live links