Using github here to publish these (my) writings.