Make hovered links visible.
Migrate to new jenkins server.