brick-1.3: A declarative terminal user interface library