Can you put the theme permalink in the generated theme files as a comment? Seems like it might be handy to have someday.