Tidy up header packaging. Update linux docs 0.89.k.