Thread:JPulowski/@comment-4055238-20111125021650/@comment-5503561-20111202183615

Probably used texmod to extract them. 