To my Portuguese friends and colleagues - enjoy a well deserved day off :) (Dia da República) I still wake up in Portugal and forget when it's actually a holiday...