This is a a repo for weekly automated pushing. There might be some duplication, and it's not the best organised repo, but it could be handy one day.