Update Ethereum.cr and Ethereum Costa Rica Day (2023) to reference the past #18

Open aguzmant103 opened 8 months ago