Brain dump
This article is a brain dump: its content has been quickly written to not lose the precious knowledge but the content has to be rewritten properly and maybe moved to more appropriate pages.
