Updating HTML examples and THANKS file