Reference posts in another board#378

Users can already reference posts within the same board by typing “#” followed by the post title’s first few letters. Make it possible also to reference posts from another board without having to enter the URL manually.