What did you use to record the video on the home page, if you don't mind me asking? I need to do something similar. One tip I've seen is to record at a higher resolution than you need, then scale down. The demo is good, but looks a little grainy at points, FYI.

Of course! I have looked into many tools to be able to do that properly. This one was done with Screen Studio, which is one, and there is another one that is nice and open source: Cap - but a bit less features.