notes/jenkins: Renamed section because it deals with Linux only