Please feel free to publish these, with credit to Bram Belloni.