Jenkins

I just redid this. It could change again if I look at it too many more times and think it's poorly done. But it will probably stay this way a while, and this text will disappear sooner or later, too.