{"categories":[],"packages":[],"usage":[{"description":"Include support for metafont terminal","isdefault":false,"packageid":51517,"use":"metafont"}],"use":{"description":"Include support for metafont terminal","isdefault":false,"packageid":51517,"use":"metafont"}}