def convert_toolshed_id_url(url):
    """Convert a toolshed webpage URL to tool identifier URL."""
    parts = url.split('//')[1].split('/')
    tool_id = parts[-2]
    new = '/'.join(parts[:-1] + [tool_id])
    return new.replace('view', 'repos')