Clarify some TODOs in domain-details.pl
Clean up some old scripts