Work done this month: No work done. Partially because I did not find anything useful to do, partially because it is vacation time.