Monroe Mills, Ohio
Monroe Mills is an unincorporated community in Knox County, in the U.S. state of Ohio.[1]
History
Monroe Mills was named for a gristmill built in 1844 on the site in Monroe Township.[2] A post office called Monroe Mills was established in 1849, and remained in operation until 1902.[3]
gollark: Fortunately, EPUB is a structured format, and the library means the amount of XML I touch is reduced.
gollark: I have metadata done, and I found a good library for reading chapters (may require XHTML parsing, oh bee).
gollark: Well, it reads the metadata, reads each chapter, and dumps them into a SQLite FTS table.
gollark: Not really. I mean, sort of yes, but at that point it would be very slow. My indexer thing will index stuff *once* then search using that.
gollark: `ripgrep` is also performant, however I need to search compressed archives.
References
- U.S. Geological Survey Geographic Names Information System: Monroe Mills, Ohio
- Graham, Albert Adams (1881). History of Knox County, Ohio: Its Past and Present, Containing a Condensed, Comprehensive History of Ohio. A. A. Graham & Company. p. 531.
- "Knox County". Jim Forte Postal History. Retrieved 29 December 2015.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.