Fix calls to get_doc_url for GhcModOpenDoc.