# .font: font.text_2
2019-06-06 20:14 Arno  
# .font: font.text_1
great cave; was on my wishlist for a long time... finally solved! :-D

# .font: font.text_2
2019-06-06 20:28 shredder  
# .font: font.text_1
nice run  Arno  :) good cave indeed :)