/r/funny: funny - Welcome to r/Funny, Reddit's largest humour depository. - January 12, 2022 - 15:11
/r/gifs: .gifs - funny, animated gifs for your viewing pleasure - Funny, animated GIFs: Your favorite computer file type! Officially pronounced with a hard "J" - January 12, 2022 - 15:10