Un diccionario del siglo XVIII da la definición "Día feriado en Paddington.