Such a damned shame. The DC library police are some of the only uniformed police in the city who are almost universally good and decent people. Helps that they exist mostly to just keep the library as being a safe refuge for all, including the unhoused and otherwise disadvantaged. You are only asked to leave the building if you are taking away from the ability of others to enjoy the space.

They don't write stupid tickets or have any quotas to fulfill. And they actually work with the institution's social worker to offer assistance to people who are willing or able to take it.