Initial commit before merge from ts-develop.
git checkout --patch ts-develop doc/tickets.html