Text this: Designating the Public Library of the District of Columbia a public depository for governmental publications.