Looks like @greasemonkey hasn't received any replies!