It was deleted that it would be deleted, but I still haven't done it because I thought that maybe it would be better to somehow archive that page just in case of. But maybe we could just delete it actually...