This is both for ease of editing and so that that it can be copied into the GitHub wiki. The <iron-icon>s are left in.