Sylvain

> In any case I'd definitely recommend splitting this PR You’re right, I’ll do it. Give me a few days. > I think it's fair to say that the unofficial...

> Would that time (Tuesday, 4pm, French time) work for you? That’s a bit too soon for me. I’ve set the meeting to 5pm; I hope this is okay for...

Well, I’ve just worked on reorganizing this PR. Each commit is much easier to analyze, and I haven’t put my main work (on the preferences dialog) in it. > -...

> It turns out that every single desktop environment has its own convictions when it comes to the behaviour of arrows + some random combination of modifiers from {Ctrl, Shift,...

Hello @jfehrle, thank you for your comments and replies. I’ve been busy for a few days and it will continue until next Friday (I’m working on a project for university,...

> What is your Zulip ID? It’s 610722. I will post a reply to the conversation ~tomorrow (Tuesday)~ soon. I’m not available before 6pm (Paris time) tomorrow, so I would...

> The FAQ update should be a separate PR--best not to combine unrelated changes. They are somewhat related because they are both about help. Well, I agree, I still don’t...

Well, it is not okay. As @jfehrle said, we have to remove the FAQ file and put this info in the documentation instead.

> What is the status of the PR? Is the plan to remove the FAQ and modify the reference manual part of this PR or of another PR? Well, I...

> I would fabulous if you could take a look at the Preferences/Externals panel and figure out how it relates to File/Print, Edit/External Editor and Compile/. For now, I would...