{ pkgs, user, ... }:
{
  # Your Mangowc window manager configurations here
}