Astropedia (astropedia.nl)/Extensions