This is great. On an unrelated note, I wanted to give GitHub a big high-five for their non-profit organizational discounts. Tech companies that provide non-profit discounts really help non-profits where technology expenses are often under-appreciated and underfunded.