Looks like @eroel hasn't received any replies!