However, and I don't know if anybody else has this problem, it seems to take forever importing the json file for preferences. It looks like it is hanging. I did manage to make it work before all this, but now it is just egg-timing. I will give it a while longer to see if it works.
Anyway, thank you @girish. Whenever I see you are working on something, I am always confident that it will soon be solved and you managed it yet again with Teddit. You are great!