Hello again, everybody. This website has been offline for some time, due to lack of time for both server maintenance and adding content. However, it is back now, and with a brand new WordPress 5 installation!