Oh dear. I pushed an addendum to the article: https://github.com/Xe/site/commit/05135edcbe5e474131c15c24766e0266285fa514 https://github.com/Xe/site/commit/05135

Oh dear. I pushed an addendum to the article: https://github.com/Xe/site/commit/05135edcbe5e474131c15c24766e0266285fa514 https://github.com/Xe/site/commit/05135edcbe5e474131c15c2476... Thanks for pointing that out!