Looks like @jotafan hasn't received any replies!