Looks like @koenterpstra hasn't received any replies!