The page http://arnulf.us/index.html has moved to: https://arnulf.us/