Drop the dist/ folder and the apertis hotdoc extension

The dist/ folder and the apertis hotdoc extension contained there are not being used nowadays and their purpose is lost in time.

Given that nobody complained, let's remove them to reduce the amount of cruft we carry.