Developers' Forum

Thanks for posting, Felix. I've had this on my todo list for some time, but it hasn't been a priority, since our question type solves the problem instead. But doing it on Jobe is much cleaner. I'll put something like your fix in the next update to Jobe.