py-rich-theme-manager is a stub port
