screenmanager: add has_screen() method, and fix documentation of get_screen().