from dataclasses import dataclass
-from typing import IO
+from typing import Callable, IO
from fetch import Fetcher
from texify import Texifier
class Spec:
url: str
fetcher: Fetcher
+ htmlfilter: Callable[[bytes], bytes]
texifier: Texifier
texout: IO[bytes]