Un editor de fuentes pixeladas a la antigua usanza