2019-12-31T00:39:00+00:00 Hope you all have a great new year, looking forward to 2020 :) 2019-12-31T00:38:00+00:00 Haven't posted here for a while, how's everyone doing? 2019-08-01T19:25:00+00:00 /wiki @ question about glossaries for the wiki: should there be any special notation for terms we come up ourselves? 2019-07-31T16:01:00+00:00 Hello everybody!