# .font: font.text_2
2018-09-07 01:02 krissz  
# .font: font.text_1
I am very curious about the different solutions.

# .font: font.text_2
2018-09-07 19:17 Arno  
# .font: font.text_1
hell yeah! more such caves please! :-)

# .font: font.text_2
2018-09-07 19:23 krissz  
# .font: font.text_1
Oh! You found a shortcut... Maybe I have to fix it.

# .font: font.text_2
2018-09-26 12:46 fellner adrian  
# .font: font.text_1
i'm not quite sure, if i've found a shortcut (haven't seen the demos yet), but i sure found an extra diamond :-)