Due to unforeseen issues with Internet, I can only do small posts until further notice. I leave the big things to [@KoL].