[herbstluftwm] wmhopped