Five notes on an introduction to wind energy