That's just their choice though, they could have used fd00::1 just fine ("f d 0 0 colon colon 1"). The advantage of selecting a complex prefix is to avoid collisions (something IPv4 doesn't do well, in any case), and they probably used 53 as 53 is the default DNS port so it's memorable.