Official Jenkins image to use from Docker Hub

Résumé

There are now three different Docker Hub repositories that are or have been used as the “official” Jenkins image. This article aims at providing a clarification about which one is the current official one (as of December 2018 :-)). Deprecated since a long time already.