Does modern external lighting improve or detract from historic buildings?