The weekly status report of the MarkUs team can be found here: http://blog.markusproject.org/?p=615