A TypeDoc plugin to add extras (favicon, description, generation date...) to the output documentation
