memo: ottimizzare spazio su dischi.

Questo contenuto ha più di 17 anni, ed è qui per motivi di nostalgia ed affezione. Potrebbe essere al di fuori del contesto in cui è stato creato, e non è detto che rispecchi il mio pensiero attuale.