Remake sage post with latest latexml, looks better