I don't really take care of this.
Initial all target with stub recipe.
I don't take care of less.
I don't maintain these.
I don't maintain TeXmacs.
TPTP 6.1.0.