Clean version of Astronomy-Extension