skip to main content
elswitch language
my github profile
rss feed
essential context

-- observations too small for an article, kept anyway --