Looks like @philarchaist hasn't received any replies!