more herbstluftwm stuff