auctex: Update homepage url.