Looks like @arkimedes hasn't received any replies!