View source for Template:AutoDocDefaultUserOptions