Additional plugins for StarryPy3k