# .font: font.text_2
2022-09-19 23:26 DarkStoorM  
# .font: font.text_1
There must be some clever trick to get all \\\ ;)

# .font: font.text_2
2022-09-20 10:37 Arno  
# .font: font.text_1
i'm curous too, but i didn't get any close to all \\\ in my testruns... :-)

# .font: font.text_2
2022-09-20 10:56 dustin  
# .font: font.text_1
as for a cave name, how about "great britain"? the flag was the first thing that came to my mind when i saw the map first :d

# .font: font.text_2
2022-09-20 13:06 Arno  
# .font: font.text_1
nice idea; indeed one of the sparse occasions when i couldn't come up with a nice name... :-)