Looks like @square-free hasn't received any replies!