Looks like @stellarator hasn't received any replies!