Next steps towards PDF annotation