I guess this is github.com/dbaron/wgmeeting-… One of the trade-offs with processing of the minutes is between those who view it as HTML (on GitHub and probably in GitHub's HTML email) versus those who view it as text (GitHub's plain text email and probably that email in W3C archives).