This class is deprecated or moved on the latest stable version. The last existing version (v1_9_1_378) is shown here.
Convert SimpleMarkup to basic TexInfo format
TODO: WTF is AttributeManager for?