3 ms·err. Story is from a year ago. ripdev.com looks to have closed in October of last year.by olefoo 17y agoerr. Story is from a year ago. ripdev.com looks to have closed in October of last year.