Prevent lean-server from complaining when disabling flycheck

[kozytskyiad]

I searched the functions provided by the mode and lean-toggle-flycheck-mode appears to be the intended way to disable flycheck, but whenever I toggle it (either manually or via hook) lean-mode complains about it:

error in lean-server command handler: (user-error Flycheck mode disabled)
Server response was:

What is the proper way to disable flycheck with lean-mode then?