If I try this:<br>  opentheory info --article -o - -<br>I get the error:<br>opentheory: unknown type of input: -<br><br>Is it possible to read an article file from standard input?<br>