Code needed to generate auto numbering of exercises and tips