'vanboxel-theme' is now client's own theme