https://github.com/herbstluftwm/herbstluftwm . Why is the file BUGS still 6 years old? Did you ever fix any bugs or update your GitHub mirror?