Rewrite links to dev documentation.

It's a bad habit to link to the dev version of the documentation.

With this patch, ticketbot will helpfully give the link to the current stable version of the page.