Fetching themes with the get_html make target.