Looks like @bigmicha hasn't received any replies!