Add thanks to Ricardo Pereira for the mascot.