Avoid importing tint in docs/conf.py