Improve with.specialization documentation

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