Actually ignore the .coverage file.
Define the Window Manager ABC.