please move it from pre to official (was: auctex versions)