Tag TexExtensions v0.0.2

@Keno, please merge if OK.