On 18/11/2014, at 22:15 , Ramon Andiñach wrote: > Ok, back on track. These are in PR 373. Also, note that the locked and unlocked icons don't seem to be somewhere that the documentation build can find them. -ramon.