Monday, November 16, 2015 at 8:51 PM @Glench that's great. i updated the type a little and fixed some obvious issues, so it might be worth merging. then again, it's no big deal.