As my config file was a mess, I decided to rewrite from scratch, using the other one as a reference. It’s now much tidier.
As it’s likely to change frequently, I will create a ‘page’ for it. From now, my rc.lua will be found here.