I'm clearly not a guru about web development and I have to say that I rather prefer working only with my terminal... But I had to made an effort to make things visible and understable for some of you, folks !
The different pages from this website will not have been like this without the use of web-development toolkits, plugins, css files, hacks and tips from the internet community. This page intends to summarize the resources used to build the current site.