Source code of the Waterfox project