Das Vorhandensein von noindex in robots.txt war eine unglückliche „SEO“-Änderung, zu der wir uns vor etwa einem Jahr leider haben überreden lassen (Pages listed in the robots.txt are crawled and indexed by Google). Diese Änderung wurde nun rückgängig gemacht und auch in die stabile Version zurückportiert.