pini docker

Table of contents

⚠️ the content of this file will be overwritten by EXTERNAL_CONTENT