I’m happy to have had time to take advantage of the Chinese National Day Holiday in order to make some updates to the website that have been some time coming. Although the National Day is only a single day (01-October), the holiday itself is seven days…
