Sounds reasonable; I'll change "dotbot" to "reppy".