Looks like @algebraist hasn't received any replies!