A repository for a Rich web development lecture