Misc code shared with ottoman (who actually does not own a GitHub account, but...whatever)