Looks like @nikodemus hasn't received any replies!