vacation

I will be on vacation for the next 9-10 days without access to the internet, so there will be no updates to the blog during this time.